5216 search results - page 976 / 1044 » Planning as Model Checking |
127
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Cognitive networking deals with applying cognition to the entire network protocol stack for achieving stack-wide as well as network-wide performance goals, unlike cognitive radios ...
104
click to vote
FOMI
2009
14 years 8 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
129
click to vote
PROMISE
2010
14 years 5 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
110
click to vote
CORR
2012
Springer
13 years 6 months ago
2012
Springer
This paper develops theoretical results regarding noisy 1-bit compressed sensing and sparse binomial regression. We demonstrate that a single convex program gives an accurate estim...
183
click to vote
TASE
2012
IEEE
13 years 6 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...