Sciweavers

8781 search results - page 134 / 1757
» Enterprise Model Integration
Sort
View
INFORMATICALT
2007
76views more  INFORMATICALT 2007»
15 years 4 months ago
An Integrative Framework to Protocol Analysis and Repair: Bellare-Rogaway Model + Planning + Model Checker
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...
Kim-Kwang Raymond Choo
NAACL
2004
15 years 6 months ago
Optimizing Automated Call Routing by Integrating Spoken Dialog Models with Queuing Models
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...
Tim Paek, Eric Horvitz
188
Voted
CORR
2012
Springer
204views Education» more  CORR 2012»
14 years 20 days ago
Ontologies for the Integration of Air Quality Models and 3D City Models
In the perspective of a sustainable urban planning, it is necessary to investigate cities in a holistic way and to accept surprises in the response of urban environments to a part...
Claudine Métral, Gilles Falquet, Kostas Kar...
PRL
2007
155views more  PRL 2007»
15 years 4 months ago
Integrated patch model: A generative model for image categorization based on feature selection
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...
Feng Xu, Yu-Jin Zhang
IJIIDS
2011
72views more  IJIIDS 2011»
14 years 8 months ago
An agent model integrating an adaptive model for environmental dynamics
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...
Jan Treur, Muhammad Umair