4480 search results - page 170 / 896 » Prototyping Completion with Constraints Using Computational ... |
204
click to vote
RTA
1991
Springer
15 years 10 months ago
1991
Springer
Narrowing provides a complete procedure to solve equations modulo confluent and terminating rewriting systems. But it seldom terminates. This paper presents a method to improve th...
143
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Catadioptric cameras are a popular type of omnidirectional imaging system. Their imaging and multi-view geometry has been extensively studied; epipolar geometry for instance, is ge...
220
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Objectives of the dissertation are impacts of Peerto-Peer (P2P) traffic on Internet core networks as well as novel approaches for using P2P technology in Internet access ...
158
click to vote
ESCIENCE
2005
IEEE
16 years 19 hour ago
2005
IEEE
Volunteer computing projects use a task server to manage work. Clients periodically communicate with the server to report completed tasks and get new tasks. The rate at which the ...
158
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Web services have emerged as a de facto standard for encapsulating services within or across organization boundaries. Various proposals have been made to compose Web services into...