2458 search results - page 63 / 492 » Database-Management Principles And Applications |
CALCO
2007
Springer
15 years 4 months ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
FTSIG
2007
14 years 9 months ago
2007
Hidden Markov Models (HMMs) provide a simple and effective framework for modelling time-varying spectral vector sequences. As a consequence, almost all present day large vocabula...
139
click to vote
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- Time-delays typically cause stability and performance problems in teleoperation systems. As a remedy for such problems in position-error based bilateral teleoperations, ...
CCGRID
2002
IEEE
15 years 2 months ago
2002
IEEE
The aim of the CatNet project is to combine economic and computer science research to provide new coordination mechanisms for large-scale application-layer networks. The ability o...
HICSS
2002
IEEE
2002
IEEE
Development of a Decision Logic to Support Group Improvisation: An Application to Emergency Response
15 years 2 months ago
This paper reviews recent progress in the development of a computer-based system for supporting improvised group decision making in risky, time-constrained situations. One goal of...