1536 search results - page 233 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
COMPLEX
2009
Springer
13 years 11 months ago
2009
Springer
Studies of the Internet have typically focused either on the routing system, i.e. the paths chosen to reach a given destination, or on the evolution of traffic on a physical link. ...
EKAW
2004
Springer
14 years 1 months ago
2004
Springer
For more than a decade, ontologies have been proposed as a means to enable sharing and reuse of knowledge. While originally relatively narrow information landscapes have been in mi...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...
ICC
2000
IEEE
14 years 3 days ago
2000
IEEE
— In this paper, we present a framework for the analysis of a set of adaptive variable-bit-rate voice sources in a packet network. The instantaneous bit rate of each source is de...
WSC
2007
13 years 10 months ago
2007
Agent-based simulation provides a methodology to investigate complex systems behavior, such as supply chains, while incorporating many empirical elements relative to both systems ...