2490 search results - page 317 / 498 » Complexity of Contextual Reasoning |
144
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—We explore distributed mechanisms for maintaining the physical layer connectivity of a mobile wireless network while still permitting significant area coverage. Moreover, we re...
121
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
Predicting human occupations in photos has great application potentials in intelligent services and systems. However, using traditional classification methods cannot reliably dis...
150
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
145
click to vote
IAT
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we consider the problem of dynamic lightpath protection in survivable WDM networks with single link failure model. Our work concerns in how to dynamically determine...
146
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...