1652 search results - page 146 / 331 » Integration in Real PCF |
129
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Making it easier to design interactions between agents and humans is essential for realizing multi-agent simulations of social phenomena such as group dynamics. To realize large-s...
152
Voted
FSTTCS
2003
Springer
15 years 10 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
132
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
Record linkage is an important data integration task that has many practical uses for matching, merging and duplicate removal in large and diverse databases. However, a quadratic ...
125
click to vote
DASFAA
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we address the problems of adaptive schema mappings between different peers in peer-to-peer network and searching for interesting data residing at different peers ba...
134
Voted
ISER
2000
Springer
2000
Springer
Simulation and Experimental Evaluation of Complete Sensor-Based Coverage in Rectilinear Environments
15 years 8 months ago
: Although sensor-based coverage is a skill which is applicable to a variety of robot tasks, its implementation has so far been limited, mostly by the physical limitations of tradi...