Sciweavers

2223 search results - page 377 / 445
» Events in Property Patterns
Sort
View
110
Voted
SSDBM
2010
IEEE
112views Database» more  SSDBM 2010»
15 years 8 months ago
BEMC: A Searchable, Compressed Representation for Large Seismic Wavefields
Abstract. State-of-the-art numerical solvers in Earth Sciences produce multi terabyte datasets per execution. Operating on increasingly larger datasets becomes challenging due to i...
Julio López, Leonardo Ramírez-Guzm&a...
ICRA
1998
IEEE
89views Robotics» more  ICRA 1998»
15 years 8 months ago
Parallel Microassembly with Electrostatic Force Fields
Assembly is a fundamental issue in the volume production of products that include microscopic submillimeter parts. These parts are often fabricated in parallel at high density but...
Karl-Friedrich Böhringer, Kenneth Y. Goldberg...
107
Voted
ICIAP
1997
ACM
15 years 7 months ago
Image Retrieval by Color Regions
—A major research subject in image databases is to support efficient and effective access to images based on their visual content. In color image databases, this requires to sup...
Alberto Del Bimbo, Mauro Mugnaini, Pietro Pala, F....
128
Voted
DSN
2007
IEEE
15 years 7 months ago
Automatic Verification and Discovery of Byzantine Consensus Protocols
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
Piotr Zielinski
123
Voted
ERLANG
2007
ACM
15 years 7 months ago
Extended process registry for Erlang
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...
Ulf Wiger