3718 search results - page 574 / 744 » IMPS: System Description |
166
click to vote
JSS
1998
15 years 6 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
166
click to vote
TITS
2002
15 years 6 months ago
2002
This paper describes the image processing techniques designed to localize the tracks of snowcats for the automation of transportation of goods and people during the Italian scienti...
184
click to vote
EKAW
2010
Springer
15 years 5 months ago
2010
Springer
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...
213
click to vote
PAMI
2008
15 years 5 months ago
2008
Abstract-- This paper proposes a deterministic observer design for visual tracking based on non-parametric implicit (level-set) curve descriptions. The observer is continuous-discr...
176
click to vote
VIROLOGY
2010
15 years 4 months ago
2010
By looking on how computer security issues are handled today, dealing with numerous and unknown events is not easy. Events need to be normalized, abnormal behaviors must be describ...