10910 search results - page 1778 / 2182 » Input modeling using a computer algebra system |
194
click to vote
BIRTHDAY
2003
Springer
16 years 25 days ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
213
click to vote
ISORC
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper documents progress to date on a research project, the goal of which is wartime event prediction. The paper describes the operational concept, the datamining environment...
216
click to vote
ADBIS
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...
213
click to vote
FROCOS
2000
Springer
15 years 11 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
207
click to vote
MIRAGE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract We present a gesture recognition system for recognizing hand movements in near realtime. The system uses a infra-red time-of-flight range camera with up to 30 Hz framerat...