7821 search results - page 389 / 1565 » Nested Ordered Sets and their Use for Data Modelling |
225
click to vote
LOGCOM
2008
15 years 6 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...
172
click to vote
JOLLI
2002
15 years 6 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
172
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper presents an event detector for emergencies in crowds. Assuming a single camera and a dense crowd we rely on optical flow instead of tracking statistics as a feature to ...
178
click to vote
3DIM
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, the problem of underwater scene understanding from multisensory data is addressed. Acoustic and optical devices onboard an underwater vehicle are used to sense the ...
188
click to vote
IGIS
1994
15 years 11 months ago
1994
There have been many interpolation methods developed over the years, each with their own problems. One of the biggest limitations in many applications is the non-correspondence of...