7988 search results - page 1127 / 1598 » A Useful Undecidable Theory |
175
click to vote
ENTCS
2007
15 years 7 months ago
2007
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
196
click to vote
JSAC
2006
15 years 7 months ago
2006
We focus on detecting intrusions in ad hoc networks using the misuse detection technique. We allow for detection modules that periodically stop functioning due to operational failu...
174
click to vote
NETWORKS
2008
15 years 7 months ago
2008
Minimizing the number of add-drop multiplexers (ADMs) in a unidirectional SONET ring can be formulated as a graph decomposition problem. When traffic requirements are uniform and ...
178
click to vote
NGC
2006
Springer
15 years 7 months ago
2006
Springer
This paper examines two seemingly unrelated qualitative spatial reasoning domains; geometric proportional analogies and topographic (landcover) maps. We present a Structure Matchin...
201
click to vote
PRESENCE
2008
15 years 7 months ago
2008
The current study investigated the value of using immersive virtual environment technology as a tool for assessing eyewitness identification. Participants witnessed a staged crime...