Sciweavers

2359 search results - page 254 / 472
» Statistical Models of Object Interaction
Sort
View
129
Voted
ECOWS
2006
Springer
15 years 7 months ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
109
Voted
EJWCN
2010
122views more  EJWCN 2010»
14 years 10 months ago
Using Model Checking for Analyzing Distributed Power Control Problems
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nic...
136
Voted
ACCV
2006
Springer
15 years 9 months ago
Probabilistic Modeling for Structural Change Inference
We view the task of change detection as a problem of object recognition from learning. The object is defined in a 3D space where the time is the 3rd dimension. We propose two com...
Wei Liu, Véronique Prinet
IAT
2010
IEEE
15 years 1 months ago
Learning Personal Agents with Adaptive Player Modeling in Virtual Worlds
Abstract--There has been growing interest in creating intelligent agents in virtual worlds that do not follow fixed scripts predefined by the developers, but react accordingly base...
Yilin Kang, Ah-Hwee Tan
168
Voted
MIR
2006
ACM
223views Multimedia» more  MIR 2006»
15 years 9 months ago
Adaptive image retrieval using a Graph model for semantic feature integration
The variety of features available to represent multimedia data constitutes a rich pool of information. However, the plethora of data poses a challenge in terms of feature selectio...
Jana Urban, Joemon M. Jose