6650 search results - page 133 / 1330 » models 2009 |
148
click to vote
SIGIR
2009
ACM
16 years 29 days ago
2009
ACM
Event tracking is the task of discovering temporal patterns of popular events from text streams. Existing approaches for event tracking have two limitations: scalability and inabi...
183
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Video Streams of optical camera system are analysed by a video processing software which detects moving objects in the video. They are presented in image pixel coordinates. With ...
158
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
168
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...
191
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed n terms. That is, the type of closed ...