20294 search results - page 228 / 4059 » Algorithmic Information Theory |
181
click to vote
CSCLP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...
141
click to vote
DCC
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper considers the development of a general framework for the analysis of transmit beamforming methods in multiple antenna systems with finite-rate feedback. Inspired by the...
146
click to vote
FOSSACS
2010
Springer
16 years 26 days ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
150
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
346
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
Handling exceptions in a knowledge-based system has been considered as an important issue in many domains of applications, such as medical domain. In this paper, we propose severa...