14056 search results - page 152 / 2812 » Consistency in Model Integration |
191
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
152
click to vote
NAACL
2004
15 years 7 months ago
2004
Organizations are increasingly turning to spoken dialog systems for automated call routing to reduce call center costs. To maintain quality service even in cases of failure, these...
169
click to vote
PRL
2007
15 years 5 months ago
2007
Image categorization could be treated as an effective solution to enable keyword-based image retrieval. In this paper, we propose a novel image categorization approach by learnin...
199
click to vote
WSC
1997
15 years 7 months ago
1997
The role of modeling and simulation is receiving much press of late. However, the lack of practice in employing a link between the two is alarming. A static model is used to under...
145
click to vote
IJIIDS
2011
14 years 9 months ago
2011
The environments in which agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an agent model is pr...