235 search results - page 24 / 47 » A Symbolic Symbolic State Space Representation |
162
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
154
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Context-awareness is highly desired across several application domains. Semantic Web Services (SWS) enable the automatic discovery of distributed Web services based on comprehensi...
192
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
172
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
194
click to vote
AI
2000
Springer
15 years 5 months ago
2000
Springer
We propose a framework for the representation of visual knowledge in a robotic agent, with special attention to the understanding of dynamic scenes. According to our approach, und...