11963 search results - page 2141 / 2393 » A framework for linguistic modelling |
182
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Techniques for interactive 3D manipulation of articulated objects in cluttered environments should be geometricallyaware, going beyond basic inverse or forward kinematics to allow...
186
click to vote
ISADS
1999
IEEE
15 years 11 months ago
1999
IEEE
We designed a secure key registration system based on the proactive secret-sharing scheme. A user can register important data such as a session key to a distributed system in a (t...
173
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...
178
Voted
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
The desire for exible networking services has given rise to the concept of active networks." Active networks provide a general framework for designing and implementing network...
193
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...