3820 search results - page 584 / 764 » Bounded Model Debugging |
142
Voted
SECON
2010
IEEE
15 years 15 days ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...
120
click to vote
IJRR
2010
14 years 12 months ago
2010
We present an anytime algorithm for coordinating multiple autonomous searchers to find a potentially adversarial target on a graphical representation of a physical environment. Th...
153
Voted
EJC
2011
14 years 9 months ago
2011
A D-polyhedron is a polyhedron P such that if x, y are in P then so are their componentwise max and min. In other words, the point set of a D-polyhedron forms a distributive latti...
125
Voted
JMLR
2010
14 years 9 months ago
2010
Matrix factorization is a successful technique for building collaborative filtering systems. While it works well on a large range of problems, it is also known for requiring signi...
116
Voted
SIAMNUM
2011
14 years 9 months ago
2011
We present a method to approximate (in any space dimension) diffusion equations with schemes having a specific structure; this structure ensures that the discrete local maximum a...