4305 search results - page 348 / 861 » The Test of Time |
175
click to vote
IDA
2001
Springer
15 years 11 months ago
2001
Springer
Fluents are logical descriptions of situations that persist, andcompositefluents are statistically significant temporal relationships(nearlyidentical withthosein Allen’stemporal...
165
Voted
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
In the development of bus-based systems and individual PCB boards interfacing to a bus, the simulation usually requires a specific test bench or creation of quite complex stimuli....
177
click to vote
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper provides an overview of our selection process for proximity sensors for manipulator collision avoidance. Five categories of sensors have been considered for this use in...
191
click to vote
PET
2010
Springer
15 years 10 months ago
2010
Springer
We explore how Private Information Retrieval (PIR) can help users keep their sensitive information from being leaked in an SQL query. We show how to retrieve data from a relational...
116
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an overview of an assembler driven verification methodology (ADVM) that was created and implemented for a chip card project at Infineon Technologies AG [2]. Th...