3820 search results - page 566 / 764 » Bounded Model Debugging |
117
click to vote
IPSN
2005
Springer
15 years 8 months 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...
118
click to vote
ISAAC
2005
Springer
15 years 8 months 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 ...
121
click to vote
MICAI
2005
Springer
15 years 8 months 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 ...
100
click to vote
TLCA
2005
Springer
15 years 8 months 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...
110
click to vote
WADS
2005
Springer
15 years 8 months 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 , ...