4037 search results - page 395 / 808 » Routing without ordering |
125
Voted
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
78
Voted
CHI
2010
ACM
15 years 9 months ago
2010
ACM
In this paper we explore the application of formal elements of games such as goals and scores to information graphics−so called “game-y” information graphics. In order to st...
99
Voted
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
An essential problem for biologists is the processing and evaluation of BLAST results. We advocate the deployment of database technology and describe a userdriven tool, called Bla...
164
Voted
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
110
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
Recent research has produced a new and perhaps dangerous technique for uniquely identifying blocks that I will call compare-by-hash. Using this technique, we decide whether two bl...