1981 search results - page 376 / 397 » The State of Change: A Survey |
DBPL
1993
Springer
14 years 1 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
ESA
2007
Springer
14 years 1 months ago
2007
Springer
We consider the price of selfish routing in terms of tradeoffs and from an average-case perspective. Each player in a network game seeks to send a message with a certain length by...
CVPR
2009
IEEE
2009
IEEE
Switching Gaussian Process Dynamic Models for simultaneous composite motion tracking and recognition
14 years 1 months ago
Traditional dynamical systems used for motion tracking cannot effectively handle high dimensionality of the motion states and composite dynamics. In this paper, to address both is...
CIA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we address a model of self interested information agents competing to perform tasks. The agents are situated in an uncertain environment while different tas...