|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 104 occurrences of 94 keywords
|
|
|
Results
Found 539 publication records. Showing 525 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 59(1-2), pp. 159-165, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | William G. Farquhar, Paraskevas Evripidou |
DART: A Data-Driven Processor Architecture for Real-Time Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architectures and Compilation Techniques for Fine and Medium Grain Parallelism ![In: Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, PACT 1993, Orlando, Florida, USA, January 20-22, 1993, pp. 141-152, 1993, North-Holland, 0-444-88464-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
19 | Joy Shetler, Steven E. Butner |
Multiple Stream Execution on the DART Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP (1) ![In: Proceedings of the International Conference on Parallel Processing, ICPP '91, Austin, Texas, USA, August 1991. Volume I: Architecture/Hardware., pp. 92-96, 1991, CRC Press. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
19 | Pavel Tomasta |
"Dart calculus" of induced subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 34(2), pp. 195-198, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
19 | Michael R. Genesereth, James S. Bennett, Clifford R. Hollander |
DART: Expert systems for automated computer fault diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the ACM 1981 Annual Conference, Los Angeles, CA, USA, November 9-11, 1981., pp. 246, 1981, ACM, 0-89791-049-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
19 | James S. Bennett, Clifford R. Hollander |
DART: An Expert System for Computer Fault Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 7th International Joint Conference on Artificial Intelligence, IJCAI '81, Vancouver, BC, Canada, August 24-28, 1981, pp. 843-845, 1981, William Kaufmann. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
19 | Loren P. Meissner |
Real-time digital differential analyzer (dart). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIEE-IRE Computer Conference (Western) ![In: Proceedings of the 1954 western computer conference: Trends in computers: automatic control and data processing, AIEE-IRE 1954 (Western), Los Angeles, California, USA, February 11-12, 1954, pp. 134-139, 1954, ACM, 978-1-4503-7854-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 43-56, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (13) ![In: Virtual and Mixed Reality, Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 159-168, 2009, Springer, 978-3-642-02770-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009, pp. 1133-1134, 2009, ACM, 978-1-60558-487-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
data api network, mashup navigation, semantic, social |
17 | Patrice Godefroid |
Software Model Checking Improving Security of a Billion Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 1, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Adrian Haffegee, Russell Barrow |
Eye Tracking and Gaze Based Interaction within Immersive Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part II, pp. 729-736, 2009, Springer, 978-3-642-01972-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Manoranjan Satpathy, Anand Yeolekar, S. Ramesh 0002 |
Randomized directed testing (REDIRECT) for Simulink/Stateflow models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 217-226, 2008, ACM, 978-1-60558-468-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2008: Theoretical Informatics, 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings, pp. 479-491, 2008, Springer, 978-3-540-78772-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 512-517, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 17(8), pp. 1028-1040, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Manuela Angioni, Roberto Demontis, Franco Tuveri |
Enriching WordNet to Index and Retrieve Semantic Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTSR ![In: Metadata and Semantics, Post-proceedings of the 2nd International Conference on Metadata and Semantics Research, MTSR 2007, Corfu Island in Greece, 1-2 October 2007, pp. 339-351, 2007, Springer, 978-0-387-77744-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I, pp. 491-498, 2007, Springer, 978-3-540-75756-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Dunbar, Greg Humphreys |
A spatial data structure for fast Poisson-disk sample generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 25(3), pp. 503-508, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Poisson disk, sampling, blue noise |
17 | Zhaohui Wu 0001 |
DartGrid: A Semantic Grid and Application for Traditional Chinese Medicine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings, pp. 7-9, 2006, Springer, 3-540-36707-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(10), pp. 884-896, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRID ![In: 5th International Workshop on Grid Computing (GRID 2004), 8 November 2004, Pittsburgh, PA, USA, Proceedings, pp. 456-460, 2004, IEEE Computer Society, 0-7695-2256-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Martin E. Dyer |
Approximate counting by dynamic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 35th Annual ACM Symposium on Theory of Computing, June 9-11, 2003, San Diego, CA, USA, pp. 693-699, 2003, ACM, 1-58113-674-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Raphaël David, Daniel Chillet, Sébastien Pillement, Olivier Sentieys |
A Compilation Framework for a Dynamically Reconfigurable Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, Reconfigurable Computing Is Going Mainstream, 12th International Conference, FPL 2002, Montpellier, France, September 2-4, 2002, Proceedings, pp. 1058-1067, 2002, Springer, 3-540-44108-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Ran Raz, Pierre McKenzie |
Separation of the Monotone NC Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 19(3), pp. 403-435, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (1991) Classes: 68Q15, 68R99, 68Q25 |
Displaying result #501 - #525 of 525 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6] |
|