4835 search results - page 286 / 967 » Intelligent Selection Tools |
169
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
151
click to vote
IAT
2006
IEEE
16 years 18 days ago
2006
IEEE
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...
174
click to vote
APN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
151
click to vote
APN
2004
Springer
15 years 12 months ago
2004
Springer
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
177
click to vote
IBERAMIA
2004
Springer
15 years 12 months ago
2004
Springer
In this paper the phonetic and speech corpus DIMEx100 for Mexican Spanish is presented. We discuss both the linguistic motivation and the computational tools employed for the desig...