1738 search results - page 199 / 348 » Local Consistency and SAT-Solvers |
160
click to vote
ECCV
1998
Springer
16 years 7 months ago
1998
Springer
Diffuse interreflections mean that surface shading and shape are related in ways that are difficult to untangle; in particular, distant and invisible surfaces may affect the shadi...
135
Voted
WWW
2003
ACM
16 years 6 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
153
click to vote
INFOCOM
2009
IEEE
16 years 19 days ago
2009
IEEE
—State signaling and maintenance mechanisms play crucial roles in communication network protocols. State is used to facilitate indirections in protocols such as routing. Design a...
145
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...
169
click to vote
TCC
2005
Springer
15 years 11 months ago
2005
Springer
We initiate a study of Maurer’s bounded storage model (JoC, 1992) in presence of transmission errors and perhaps other types of errors that cause different parties to have incon...