Search results for "DART"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Michael R. Genesereth	From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group.	Artif. Intell.	1993	DBLP DOI BibTeX RDF
19	William G. Farquhar, Paraskevas Evripidou	DART: A Data-Driven Processor Architecture for Real-Time Computing.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
19	Joy Shetler, Steven E. Butner	Multiple Stream Execution on the DART Processor.	ICPP (1)	1991	DBLP BibTeX RDF
19	Pavel Tomasta	"Dart calculus" of induced subsets.	Discret. Math.	1981	DBLP DOI BibTeX RDF
19	Michael R. Genesereth, James S. Bennett, Clifford R. Hollander	DART: Expert systems for automated computer fault diagnosis.	ACM Annual Conference	1981	DBLP DOI BibTeX RDF
19	James S. Bennett, Clifford R. Hollander	DART: An Expert System for Computer Fault Diagnosis.	IJCAI	1981	DBLP BibTeX RDF
19	Loren P. Meissner	Real-time digital differential analyzer (dart).	AIEE-IRE Computer Conference (Western)	1954	DBLP DOI BibTeX RDF
17	Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali	Compositional may-must program analysis: unleashing the power of alternation.	POPL	2010	DBLP DOI BibTeX RDF	software model checking, abstraction refinement, directed testing
17	Maribeth Gandy, Brian D. Jones, Scott L. Robertson, Tiffany O'Quinn, Amos Y. Johnson	Rapidly Prototyping Marker Based Tangible User Interfaces.	HCI (13)	2009	DBLP DOI BibTeX RDF	Tangible User Interfaces, mixed reality, rapid prototyping, toolkits
17	Bin Lu, Zhaohui Wu 0001, Yuan Ni, Guo Tong Xie, Chunying Zhou, Huajun Chen	sMash: semantic-based mashup navigation for data API network.	WWW	2009	DBLP DOI BibTeX RDF	data api network, mashup navigation, semantic, social
17	Patrice Godefroid	Software Model Checking Improving Security of a Billion Computers.	SPIN	2009	DBLP DOI BibTeX RDF
17	Adrian Haffegee, Russell Barrow	Eye Tracking and Gaze Based Interaction within Immersive Virtual Environments.	ICCS (2)	2009	DBLP DOI BibTeX RDF
17	Manoranjan Satpathy, Anand Yeolekar, S. Ramesh 0002	Randomized directed testing (REDIRECT) for Simulink/Stateflow models.	EMSOFT	2008	DBLP DOI BibTeX RDF	simulink/stateflow models, coverage, hybrid systems, model based testing
17	Andreas Brandstädt, Christian Hundt 0001	Ptolemaic Graphs and Interval Graphs Are Leaf Powers.	LATIN	2008	DBLP DOI BibTeX RDF	and Classification Leaf powers, leaf roots, strongly chordal graphs, ptolemaic graphs, graph class inclusions, (unit) interval graphs, clique-width, graph powers
17	Ivan Marcialis, Emanuela De Vita	SEARCHY: An Agent to Personalize Search Results.	ICIW	2008	DBLP DOI BibTeX RDF	information retrieval, user modeling, feedback, Cooperative systems
17	Aravindan Raghuveer, Ewa Kusmierek, David Hung-Chang Du	A Network-Aware Approach for Video and Metadata Streaming.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
17	Manuela Angioni, Roberto Demontis, Franco Tuveri	Enriching WordNet to Index and Retrieve Semantic Information.	MTSR	2007	DBLP DOI BibTeX RDF
17	Nobuhiko Hata, Steve Pieper 0001, Ferenc A. Jolesz, Clare M. Tempany, Peter M. Black, Shigehiro Morikawa, Hiroshi Iseki, Makoto Hashizume, Ron Kikinis	Application of Open Source Image Guided Therapy Software in MR-guided Therapies.	MICCAI (1)	2007	DBLP DOI BibTeX RDF
17	Daniel Dunbar, Greg Humphreys	A spatial data structure for fast Poisson-disk sample generation.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	Poisson disk, sampling, blue noise
17	Zhaohui Wu 0001	DartGrid: A Semantic Grid and Application for Traditional Chinese Medicine.	PRIMA	2006	DBLP DOI BibTeX RDF
17	Atif M. Memon, Qing Xie 0003	Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Smoke testing, empirical studies, regression testing, test oracles, GUI testing
17	Huajun Chen, Zhaohui Wu 0001, Guozhou Zheng, Yuxing Mao	RDF-Based Schema Mediation for Database Grid.	GRID	2004	DBLP DOI BibTeX RDF
17	Martin E. Dyer	Approximate counting by dynamic programming.	STOC	2003	DBLP DOI BibTeX RDF
17	Raphaël David, Daniel Chillet, Sébastien Pillement, Olivier Sentieys	A Compilation Framework for a Dynamically Reconfigurable Architecture.	FPL	2002	DBLP DOI BibTeX RDF
17	Ran Raz, Pierre McKenzie	Separation of the Monotone NC Hierarchy.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 68Q15, 68R99, 68Q25