2168 search results - page 426 / 434 » Randomized Algorithms and Complexity Theory |
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Acquiring 3D models of intricate objects (like tree branches, bicycles and insects) is a hard problem due to severe self-occlusions, repeated thin structures and surface discontin...
103
click to vote
DAC
2003
ACM
16 years 16 days ago
2003
ACM
Skin effect makes interconnect resistance and inductance frequency dependent. This paper addresses the problem of efficiently estimating the signal characteristics of any RLC netw...
117
click to vote
SIGSOFT
2003
ACM
16 years 9 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
118
click to vote
WWW
2003
ACM
16 years 7 days ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
101
click to vote
WWW
2002
ACM
16 years 7 days ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...