Sciweavers

2001 search results - page 290 / 401
» Dynamic Materialized Views
Sort
View
118
Voted
GRAMMARS
2000
97views more  GRAMMARS 2000»
15 years 2 months ago
Proof-Nets, Hybrid Logics and Minimalist Representations
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...
Alain Lecomte
106
Voted
CCR
1998
128views more  CCR 1998»
15 years 2 months ago
OSI distributed transaction processing commitment optimizations
: This paper briefly summarizes the work towards the final version of ‘Distributed Transaction Processing’ (OSI TP). Several well-known optimizations of the presumed abort prot...
Richard Banks, Peter Furniss, Klaus Heien, Hans-R&...
105
Voted
CN
1999
102views more  CN 1999»
15 years 2 months ago
Web-Enabled Smart Card for Ubiquitous Access of Patient's Medical Record
The combined benefits of smart card to support mobility in a pocket coupled with the ubiquitous access of Web technology, present a new paradigm for medical information access sys...
Alvin T. S. Chan
124
Voted
SIMULATION
2002
143views more  SIMULATION 2002»
15 years 2 months ago
GaliLEO: A Simulation Tool for LEO Satellite Constellations
We present GaliLEO, a simulator for the transmission of connection-oriented traffic over a constellation of LEO/MEO (Low / Medium Earth Orbit) satellites. Its scope is limited to ...
Laurent Franck, Francesco Potorti
135
Voted
TROB
2002
116views more  TROB 2002»
15 years 2 months ago
Visual servoing via navigation functions
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
Noah J. Cowan, Joel Weingarten, Daniel E. Koditsch...