4498 search results - page 706 / 900 » How to Invent Functions |
127
click to vote
ECCC
2007
15 years 4 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
124
click to vote
JHSN
2006
15 years 4 months ago
2006
With the growing interest in service-oriented architectures, achieving seamless interoperability between heterogeneous middleware technologies has become increasingly important. W...
110
click to vote
JIRS
2006
15 years 4 months ago
2006
The paper presents a general framework for concurrent navigation and exploration of unknown environments based on discrete potential fields that guide the robot motion. These poten...
139
click to vote
ENTCS
2007
15 years 4 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
131
click to vote
ENTCS
2007
15 years 4 months ago
2007
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...