1513 search results - page 266 / 303 » Fibonacci Correction Networks |
117
click to vote
AAAI
2010
15 years 3 months ago
2010
Security games, and important class of Stackelberg games, are used in deployed decision-support tools in use by LAX police and the Federal Air Marshals Service. The algorithms use...
102
click to vote
FORTE
2007
15 years 3 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
113
click to vote
FORTE
2008
15 years 3 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
129
click to vote
COOP
2004
15 years 3 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
106
click to vote
EUROIMSA
2006
15 years 3 months ago
2006
The repeated pattern of I, P and B frames in an MPEG stream is known as the Group of Pictures (GOP). Current GOP choices are made using intuition and informal guidelines without t...