Sciweavers

3600 search results - page 357 / 720
» Conversational intelligence analysis
Sort
View
APN
2001
Springer
15 years 10 months ago
''What Is a Petri Net?''
The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts. This contribut...
Jörg Desel, Gabriel Juhás
APN
2001
Springer
15 years 10 months ago
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
Marko Mäkelä
CIA
2001
Springer
15 years 10 months ago
Extending a Multi-agent System for Genomic Annotation
The explosive growth in genomic (and soon, expression and proteomic) data, exemplified by the Human Genome Project, is a fertile domain for the application of multi-agent informat...
Keith Decker, Salim Khan, Carl Schmidt, Dennis Mic...
174
Voted
AOSE
2000
Springer
15 years 10 months ago
Designing Agent-Oriented Systems by Analysing Agent Interactions
We propose a preliminary methodology for agent-oriented software engineering based on the idea of agent interaction analysis. This approach uses interactions between undetermined a...
Simon Miles, Mike Joy, Michael Luck
APN
2000
Springer
15 years 10 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...