1867 search results - page 54 / 374 » Math-Net, a model for information and communication systems ... |
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
In this research, we use a game-theoretic model to examine personalization of information in a twodimensional product differentiation model, when consumers attach importance to ...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
IAT
2005
IEEE
14 years 2 months ago
2005
IEEE
We have proposed a real-time multi-target tracking system by cooperative behaviors of Active Vision Agents (AVAs), where an AVA is a logical model of a networkconnected computer w...
IJAR
2010
13 years 7 months ago
2010
Geospatial Reasoning has been an essential aspect of military planning since the invention of cartography. Although maps have always been a focal point for developing situational ...
ERSHOV
2003
Springer
14 years 1 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...