3750 search results - page 146 / 750 » Timed Automata Patterns |
112
click to vote
HYBRID
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
127
Voted
AUTONOMICS
2007
ACM
15 years 6 months ago
2007
ACM
A good understanding of contact patterns in delay tolerant networks (DTNs) is essential for the design of effective routing schemes. Prior work has typically focused on intercontac...
143
click to vote
MLDM
2009
Springer
15 years 9 months ago
2009
Springer
We face the problem of novelty detection from stream data, that is, the identification of new or unknown situations in an ordered sequence of objects which arrive on-line, at cons...
139
Voted
IJCNN
2006
IEEE
15 years 8 months ago
2006
IEEE
— Support Vector Machine has been well received in machine learning community with its theoretical as well as practical value. However, since its training time complexity is cubi...
145
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Subgraph patterns are widely used in graph classification, but their effectiveness is often hampered by large number of patterns or lack of discrimination power among individual p...