6456 search results - page 993 / 1292 » Constraint Solving on Terms |
208
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...
189
click to vote
CCS
2007
ACM
16 years 26 days ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
178
click to vote
CIKM
2007
Springer
16 years 25 days ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
165
click to vote
CLEF
2007
Springer
16 years 25 days ago
2007
Springer
This paper describes a rather simplistic method of unsupervised morphological analysis of words in an unknown language. All what is needed is a raw text corpus in the given langua...
139
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...