5015 search results - page 765 / 1003 » Model Checking a Path |
151
click to vote
SIGECOM
2003
ACM
15 years 12 months ago
2003
ACM
We study mechanisms that can be modelled as coalitional games with transferable utilities, and apply ideas from mechanism design and game theory to problems arising in a network d...
191
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
173
click to vote
ICVS
2003
Springer
15 years 11 months ago
2003
Springer
This paper discusses the design of a working system that visually recognizes hand gestures for the control of a window based user interface. We present a method for tracking the fi...
183
click to vote
ICNC
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, product structure is taken as knowledge acquisition point, and the effective knowledge acquisition path is discussed by establishing the associated relationship bet...
179
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract- This paper describes an algorithm for optimally placing a given number of wavelength converters in All-Optical Networks(A0Ns) with arbitrary topologies. We first introduc...