9067 search results - page 517 / 1814 » Adaptive Model Checking |
207
click to vote
EUROGP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We discuss here empirical comparation between model selection methods based on Linear Genetic Programming. Two statistical methods are compared: model selection based on ...
204
click to vote
PREMI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Robust tracking of objects in video is a key challenge in computer vision with applications in automated surveillance, video indexing, human-computer-interaction, gesture...
196
click to vote
ISORC
2005
IEEE
16 years 19 days ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
203
click to vote
KDD
2005
ACM
16 years 16 days ago
2005
ACM
In this paper, the proposed LIPED (LIfe Profile based Event Detection) employs the concept of life profiles to predict the activeness of event for effective event detection. A gro...
190
click to vote
ACSC
2003
IEEE
16 years 10 days ago
2003
IEEE
This paper presents an innovative strategy to synchronize all virtual clocks in asynchronous Internet environments. Our model is based on the architecture of one reference clock a...