640 search results - page 33 / 128 » Discovering State Invariants |
147
Voted
IFM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
95
Voted
ATAL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The agent design problem is as follows: Given an environment, together with a specification of a task, is it possible to construct an agent that will guarantee to succes...
141
Voted
NAACL
2004
15 years 5 months ago
2004
Systems that automatically discover semantic classes have emerged in part to address the limitations of broad-coverage lexical resources such as WordNet and Cyc. The current state...
135
Voted
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
The k-nearest neighbour (kNN) rule is a simple and effective method for multi-way classification that is much used in Computer Vision. However, its performance depends heavily on ...
161
Voted
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...