1581 search results - page 185 / 317 » Domain semantics of possibility computations |
128
Voted
FOCS
2008
IEEE
15 years 1 months ago
2008
IEEE
We consider random instances of constraint satisfaction problems where each variable has domain size O(1), each constraint is on O(1) variables and the constraints are chosen from...
114
click to vote
CACM
2000
15 years 18 days ago
2000
With the explosive growth of embedded computing hardware, it is possible to conceive many new networked robotic applications for diverse domains ranging from urban search and resc...
109
Voted
ICCV
2009
IEEE
14 years 10 months ago
2009
IEEE
Joint alignment for an image ensemble can rectify images in the spatial domain such that the aligned images are as similar to each other as possible. This important technology has...
75
Voted
ICSEA
2006
IEEE
15 years 6 months ago
2006
IEEE
ey operate with computer abstractions not with AD ions they cannot fully bridge the semantic gap between IT and AD. Therefore, we can safely conclude that the research on computer ...
CRYPTO
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...