Sciweavers

1407 search results - page 148 / 282
» Cognition without content
Sort
View
118
Voted
CGI
1998
IEEE
15 years 5 months ago
An Architecture of a Universal DBMS for Graphics Applications
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
Andrey Collison, Hanspeter Bieri
126
Voted
ICMCS
1998
IEEE
154views Multimedia» more  ICMCS 1998»
15 years 5 months ago
Automatic Image Structure Analysis
The rapid growth of multimedia technology has resulted in an enormous amount of data that needs to be managed and indexed efficiently to provide effective labeling for an image in...
A. W. Wardhani, Ruben Gonzalez
125
Voted
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 5 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
112
Voted
HPDC
1997
IEEE
15 years 5 months ago
Packing Messages as a Tool for Boosting the Performance of Total Ordering Protocols
This paper compares the throughput and latency of four protocols that provide total ordering. Two of these protocols are measured with and without message packing. We used a techn...
Roy Friedman, Robbert van Renesse
LICS
1994
IEEE
15 years 5 months ago
A Fully Abstract Semantics for Concurrent Graph Reduction
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
Alan Jeffrey