15660 search results - page 38 / 3132 » The Unbalance of Set Systems |
MPC
1998
Springer
15 years 4 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
ESANN
2007
15 years 1 months ago
2007
Abstract. Discovering the topology of a set of labeled data in a Euclidian space can help to design better decision systems. In this work, we propose a supervised generative model ...
123
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
102
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The main function of IDS (Intrusion Detection System) is to protect the system, analyze and predict the behaviors of users. Then these behaviors will be considered an attack or a ...
112
click to vote
SMC
2010
IEEE
14 years 10 months ago
2010
IEEE
—In this paper we describe a fully integrated system for detecting and tracking pedestrians in a dynamic urban environment. The system can reliably detect and track pedestrians t...