2032 search results - page 217 / 407 » Encodings of the Sequence Constraint |
170
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
182
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
145
click to vote
ACL
2006
15 years 8 months ago
2006
This paper describes an ongoing effort to parse the Hebrew Bible. The parser consults the bracketing information extracted from the cantillation marks of the Masoetic text. We fir...
178
click to vote
AIPS
2006
15 years 8 months ago
2006
This paper provides techniques for hierarchical task network (HTN) planning with durative actions. HTNs can provide useful heuristic guidance to planners, express goals that canno...
170
click to vote
ESANN
2004
15 years 8 months ago
2004
The way information is represented and processed in a neural network may have important consequences on its computational power and complexity. Basically, information representatio...