2136 search results - page 95 / 428 » Learning Behavior Models for Hybrid Timed Systems |
206
click to vote
OR
2007
Springer
15 years 5 months ago
2007
Springer
The Maximal Covering Location Problem (MCLP) maximizes the population that has a facility within a maximum travel distance or time. Numerous extensions have been proposed to enhan...
154
click to vote
CPE
2003
Springer
15 years 11 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
171
click to vote
SOFSEM
2007
Springer
16 years 9 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
178
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...
206
click to vote
MOBISYS
2008
ACM
16 years 5 months ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...