Sciweavers

5344 search results - page 282 / 1069
» Privacy-Preserving Set Operations
Sort
View
ORL
2002
92views more  ORL 2002»
15 years 3 months ago
Efficient feasibility testing for dial-a-ride problems
Dial-a-Ride systems involve dispatching a vehicle to satisfy demands from a set of customers who call a vehicle operating agency requesting that an item be picked up from a specif...
Brady Hunsaker, Martin W. P. Savelsbergh
110
Voted
TODAES
2008
115views more  TODAES 2008»
15 years 3 months ago
Automata-based assertion-checker synthesis of PSL properties
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
Marc Boule, Zeljko Zilic
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 2 months ago
Ground plane identification using LIDAR in forested environments
—To operate autonomously in forested environments, unmanned ground vehicles (UGVs) must be able to identify the load-bearing surface of the terrain (i.e. the ground). This paper ...
Matt W. McDaniel, Takayuki Nishihata, Christopher ...
131
Voted
IJAR
2010
70views more  IJAR 2010»
15 years 2 months ago
Granular computing applied to ontologies
Granular Computing is an emerging conceptual and computing paradigm of information processing. A central notion is an information-processing pyramid with different levels of clari...
Silvia Calegari, Davide Ciucci
127
Voted
JOLPE
2010
97views more  JOLPE 2010»
15 years 2 months ago
Low-Power Soft Error Hardened Latch
This paper presents a low-power soft error-hardened latch suitable for reliable circuit operation. The proposed circuit uses redundant feedback loop to protect latch against soft e...
Hossein Karimiyan Alidash, Vojin G. Oklobdzija