2786 search results - page 480 / 558 » A Practical Technique for Process Abstraction |
284
click to vote
PADL
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
266
click to vote
VLDB
2008
ACM
16 years 6 months ago
2008
ACM
Abstract Existing spatiotemporal indexes suffer from either large update cost or poor query performance, except for the Bx -tree (the state-of-the-art), which consists of multiple ...
135
click to vote
DASFAA
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract. Until recently algorithms continuously gained free performance improvements due to ever increasing processor speeds. Unfortunately, this development has reached its limit...
142
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—The differences between the fields of HumanComputer Interaction and Security (HCISec) and HumanComputer Interaction (HCI) have not been investigated very closely. Many ...
140
click to vote
IROS
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract— For ground vehicle localization, hybrid-GNSS localizers now use commonly dead-reckoning sensors, like odometers or inertial units. They are designed to increase the acc...