102291 search results - page 19653 / 20459 » Computing |
224
click to vote
ISWC
2005
IEEE
16 years 26 days ago
2005
IEEE
This paper presents and evaluates a set of pictorial depth cues for far-field outdoor mobile augmented reality (AR). We examine the problem of accurately placing virtual annotatio...
223
click to vote
ITCC
2005
IEEE
16 years 26 days ago
2005
IEEE
has to be relayed to nodes interested in those events. Moreover, nodes may also generate queries to find events they are interested in. Thus there is a need to route the informatio...
184
click to vote
IWIA
2005
IEEE
16 years 26 days ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...
223
click to vote
KBSE
2005
IEEE
16 years 26 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
196
click to vote
KBSE
2005
IEEE
16 years 26 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...