science.io - Abstraction

Topic: Abstraction

Sort: New & recommended · Active · Top Recommended · New

	Connecting the dots between news articles By Dafna Shahaf, Carlos Guestrin 7 · 0 · User Submitted · published 07/2010
	Parallel and Distributed Simulation from Many Cores to the Public Cloud (Extended Version). (arXiv:1105.2301v1 [cs.DC]) By Gabriele D'Angelo 1 · 0 · from ArXiv:cs.DC · published 05/2011
	On the Limitations of Provenance for Queries With Difference. (arXiv:1105.2255v1 [cs.DB]) By Yael Amsterdamer,Daniel Deutch,Val Tannen 1 · 0 · from ArXiv:cs.DB · published 05/2011
	Self-configuration from a Machine-Learning Perspective. (arXiv:1105.1951v1 [nlin.AO]) By Wolfgang Konen 1 · 0 · from ArXiv:cs.LG · published 05/2011
	Classification and Evaluation the Privacy Preserving Data Mining Techniques by using a Data Modification-based Framework. (arXiv:1105.1945v1 [cs.CR]) By MohammadReza Keyvanpour,Somayyeh Seifi Moradi 1 · 0 · from ArXiv:cs.CR · published 05/2011
	Modal abstractions of concurrent behavior By Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson 1 · 0 · from TOCL · published 05/2011
	Embedding nonground logic programs into autoepistemic logic for knowledge-base combination By Jos De Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits 1 · 0 · from TOCL · published 05/2011
	Common sense for inconsistency robust information integration using Direct Logic(TM) Reasoning and the Actor Model. (arXiv:0812.4852v67 [cs.LO] UPDATED) By Carl Hewitt 1 · 0 · from ArXiv:cs.PL · published 05/2011
	A Logical Method for Policy Enforcement over Evolving Audit Logs. (arXiv:1102.2521v3 [cs.LO] UPDATED) By Deepak Garg,Limin Jia,Anupam Datta 1 · 0 · from ArXiv:cs.CR · published 05/2011
	An Active Learning Algorithm for Ranking from Pairwise Preferences with an Almost Optimal Query Complexity. (arXiv:1011.0108v9 [cs.DS] UPDATED) By Nir Ailon 1 · 0 · from ArXiv:cs.DS · published 05/2011
	Contextual hypotheses and semantics of logic programs. (arXiv:0901.0733v2 [cs.LO] UPDATED) By Éric A. Martin 1 · 0 · from ArXiv:cs.AI · published 05/2011
	CueT: human-guided fast and accurate network alarm triage By Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian 1 · 0 · from CHI 2010 · published 05/2011
	Many bills: engaging citizens through visualizations of congressional legislation By Yannick Assogba, Irene Ros, Joan DiMicco, Matt McKeon 1 · 0 · from CHI 2010 · published 05/2011
	Evaluating video visualizations of human behavior By Mario Romero, Alice Vialard, John Peponis, John Stasko, Gregory Abowd 1 · 0 · from CHI 2010 · published 05/2011
	Sizing up visualizations: effects of display size in focus+context, overview+detail, and zooming interfaces By Mikkel Rønne Jakobsen, Kasper Hornbæk 1 · 0 · from CHI 2010 · published 05/2011
	Cardiogram: visual analytics for automotive engineers By Michael Sedlmair, Petra Isenberg, Dominikus Baur, Michael Mauerer, Christian Pigorsch, Andreas Butz 1 · 0 · from CHI 2010 · published 05/2011
	KronoMiner: using multi-foci navigation for the visual exploration of time-series data By Jian Zhao, Fanny Chevalier, Ravin Balakrishnan 1 · 0 · from CHI 2010 · published 05/2011
	Zero-fidelity simulation of fire emergency response: improving team coordination learning By Zachary O. Toups, Andruid Kerne, William A. Hamilton, Nabeel Shahzad 1 · 0 · from CHI 2010 · published 05/2011
	The mathematical imagery trainer: from embodied interaction to conceptual learning By Mark Howison, Dragan Trninic, Daniel Reinholz, Dor Abrahamson 1 · 0 · from CHI 2010 · published 05/2011
	Item sampling for information architecture By Craig S. Miller 1 · 0 · from CHI 2010 · published 05/2011
	Do you know dis?: a user study of a knowledge discovery tool for organizations By Sven Laqua, M. Angela Sasse, Steven Greenspan, Carrie Gates 1 · 0 · from CHI 2010 · published 05/2011
	An Active Learning Algorithm for Ranking from Pairwise Preferences with an Almost Optimal Query Complexity. (arXiv:1011.0108v8 [cs.DS] UPDATED) By Nir Ailon 1 · 0 · from ArXiv:cs.DS · published 05/2011
	Image Characterization and Classification by Physical Complexity. (arXiv:1006.0051v4 [cs.CC] UPDATED) By Hector Zenil,Jean-Paul Delahaye,Cedric Gaucherel 1 · 0 · from ArXiv:cs.IT · published 05/2011
	Semantic Solutions to Program Analysis Problems. (arXiv:1105.0106v1 [cs.PL]) By Sam Tobin-Hochstadt,David Van Horn 1 · 0 · from ArXiv:cs.PL · published 05/2011
	Common sense for inconsistency robust information integration using Direct Logic(TM) Reasoning and the Actor Model. (arXiv:0812.4852v66 [cs.LO] UPDATED) By Carl Hewitt 1 · 0 · from ArXiv:cs.PL · published 05/2011
	The Arbitrarily Varying Multiple-Access Channel with Conferencing Encoders. (arXiv:1105.0319v1 [cs.IT]) By Moritz Wiese,Holger Boche 1 · 0 · from ArXiv:cs.IT · published 05/2011
	Online and Batch Learning Algorithms for Data with Missing Features. (arXiv:1104.0729v2 [cs.LG] UPDATED) By Afshin Rostamizadeh,Alekh Agarwal,Peter Bartlett 1 · 0 · from ArXiv:cs.LG · published 05/2011
	Loss Tomography from Tree Topologies to General Topologies. (arXiv:1105.0054v1 [cs.NI]) By Weiping Zhu,Ke Deng 1 · 0 · from ArXiv:cs.NI · published 05/2011
	Splitting and Updating Hybrid Knowledge Bases (Extended Version). (arXiv:1105.0288v1 [cs.AI]) By Martin Slota,João Leite,Terrance Swift 1 · 0 · from ArXiv:cs.AI · published 05/2011
	Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection. (arXiv:1104.5660v1 [cs.DC]) By Sayaka Kamei,Anissa Lamani,Fukuhito Ooshita,Sébastien Tixeuil 1 · 0 · from ArXiv:cs.DC · published 05/2011

more ->

Topic Editors:

This topic is currently unedited. To recommend someone for editor or apply yourself email editors@science.io.