3705 search results - page 191 / 741 » Building Documentation Generators |
107
Voted
AUIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Thin-client diagramming tools provide a number of advantages over traditional thick-client design tools but are challenging to build. We describe an extension to a thick-client me...
107
Voted
ITP
2010
15 years 7 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
138
Voted
AAAI
1993
15 years 5 months ago
1993
Understanding flow in the three-dimensional phase space is challenging both to human experts and to current computer science technology. To break through the barrier, we are build...
94
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— In this paper we show that visual landmark generation and redetection is possible with a single feature per frame. The approach is based on the assumption that highly discrimin...
145
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a novel system and methodology for browsing and exploring topics and concepts within a document collection. The process begins with the generation of multiple taxonomie...