4963 search results - page 867 / 993 » Implementing a Categorical Information System |
181
click to vote
CANDT
2009
15 years 11 months ago
2009
We present NodeXL, an extendible toolkit for network overview, discovery and exploration implemented as an add-in to the Microsoft Excel 2007 spreadsheet software. We demonstrate ...
193
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
213
click to vote
FORMATS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
183
Voted
CNSR
2004
IEEE
15 years 10 months ago
2004
IEEE
Weblogs have recently emerged as a popular means of sharing information on the Web. While they effectively foster the networking of participants on a one-to-one basis, so far they...
224
click to vote
SMILE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Augmented Reality(AR) aims at merging the real and the virtual in order to enrich a real environment with virtual information. Augmentations range from simple text annota...