1269 search results - page 100 / 254 » Pi-Calculus in Logical Form |
IJCAI
2001
15 years 2 months ago
2001
In the last decade, there has been several studies on the computational complexity of planning. These studies normally assume that the goal of planning is to make a certain fluent...
108
Voted
TCS
2008
15 years 17 days ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
100
Voted
COLING
2002
15 years 15 days ago
2002
A methodology is proposed for taking queries and requests expressed in natural language as input and answering them in charts through organizing that interaction into felicitous d...
229
Voted
FM
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
87
Voted
FPGA
2003
ACM
15 years 5 months ago
2003
ACM
As integrated circuits become more and more complex, the ability to make post-fabrication changes will become more and more attractive. This ability can be realized using programm...