Sciweavers

1711 search results - page 72 / 343
» Completing pseudojump operators
Sort
View
TARK
2007
Springer
14 years 2 months ago
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
Philippe Balbiani, Alexandru Baltag, Hans P. van D...
ICRA
2005
IEEE
127views Robotics» more  ICRA 2005»
14 years 1 months ago
Interactive Teaching of a Mobile Robot
— Personal service robots are expected to help people in their everyday life in the near future. Such robots must be able to not only move around but also perform various operati...
Jun Miura, Koji Iwase, Yoshiaki Shirai
ISPAN
2005
IEEE
14 years 1 months ago
An Efficient MPI-IO for Noncontiguous Data Access over InfiniBand
Noncontiguous data access is a very common access pattern in many scientific applications. Using POSIX I/O to access many pieces of noncontiguous data segments will generate a lot...
Ding-Yong Hong, Ching-Wen You, Yeh-Ching Chung
CHES
2005
Springer
281views Cryptology» more  CHES 2005»
14 years 1 months ago
Data Remanence in Flash Memory Devices
Data remanence is the residual physical representation of data that has been erased or overwritten. In non-volatile programmable devices, such as UV EPROM, EEPROM or Flash, bits ar...
Sergei P. Skorobogatov
DEXA
2003
Springer
193views Database» more  DEXA 2003»
14 years 1 months ago
Supporting KDD Applications by the k-Nearest Neighbor Join
Abstract. The similarity join has become an important database primitive to support similarity search and data mining. A similarity join combines two sets of complex objects such t...
Christian Böhm, Florian Krebs