4744 search results - page 218 / 949 » Connected Computing |
139
Voted
TCS
2011
14 years 10 months ago
2011
This paper initiates a study of connections between local and global properties of graphical games. Specifically, we introduce a concept of local price of anarchy that quantifie...
152
Voted
ICDCS
2011
IEEE
14 years 3 months ago
2011
IEEE
—Routing is a critical operation in networks. In the context of data and sensor networks, routing strategies such as shortest-path, multi-path and potential-based (“all-path”...
125
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
142
Voted
ISIPTA
2005
IEEE
15 years 9 months ago
2005
IEEE
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
138
Voted
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
In computer graphics and geometric modeling, shapes are often represented by triangular meshes. With the advent of laser scanning systems, meshes of extreme complexity are rapidly...