3820 search results - page 566 / 764 » Bounded Model Debugging |
172
click to vote
IPSN
2005
Springer
16 years 23 hour ago
2005
Springer
Surveillance has been a typical application of wireless sensor networks. To conduct surveillance of a given area in real life, one can use stationary watch towers, or can also use...
165
click to vote
ISAAC
2005
Springer
16 years 23 hour ago
2005
Springer
Abstract The 2-Interval Pattern problem is to find the largest constrained pattern in a set of 2-intervals. The constrained pattern is a subset of the given 2-intervals such that ...
177
click to vote
MICAI
2005
Springer
16 years 14 hour ago
2005
Springer
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...
149
click to vote
TLCA
2005
Springer
16 years 3 hour ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
156
click to vote
WADS
2005
Springer
16 years 1 hour ago
2005
Springer
We obtain subquadratic algorithms for 3SUM on integers and rationals in several models. On a standard word RAM with w-bit words, we obtain a running time of O(n2 / max{ w lg2 w , ...