3319 search results - page 154 / 664 » Subshifts, Languages and Logic |
92
Voted
AAAI
2000
15 years 2 months ago
2000
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
105
Voted
LACL
2001
Springer
15 years 5 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
196
Voted
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
110
Voted
ICFP
2005
ACM
16 years 22 days ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
119
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...