4480 search results - page 800 / 896 » Prototyping Completion with Constraints Using Computational ... |
155
click to vote
ACIVS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Image processing is widely used in many applications, including medical imaging, industrial manufacturing and security systems. In these applications, the size of the ima...
156
click to vote
WADS
2005
Springer
15 years 11 months ago
2005
Springer
We study the shortest path problem in weighted polygonal subdivisions of the plane, with the additional constraint of an upper bound, k, on the number of links (segments) in the pa...
159
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
171
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
Sensor networks are distributed event-based systems that differ from traditional communication networks in several ways: sensor networks have severe energy constraints, redundant ...
151
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...