320 search results - page 55 / 64 » Constructing Invariants for Hybrid Systems |
155
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a neural network approach to the problem of nding the dialogue act for a given utterance. So far only symbolic, decision tree and statistical approaches were ut...
169
click to vote
ICMCS
2010
IEEE
15 years 7 months ago
2010
IEEE
Though the existence of a minimum delay peer-to-peer media streaming scheme has been shown (under the name of snowball streaming), no actual algorithm has ever been designed so fa...
153
click to vote
ASE
2006
15 years 6 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
225
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper proposes a license plate detection algorithm using both global statistical features and local Haar-like features. Classifiers using global statistical features are cons...
255
click to vote
GIS
2004
ACM
16 years 7 months ago
2004
ACM
In the geometric data model [6], spatio-temporal data are modelled as a finite collection of triangles that are transformed by time-dependent affinities. To facilitate querying an...