4401 search results - page 523 / 881 » Computing with Default Logic |
178
click to vote
GW
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
183
click to vote
ICTCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
171
click to vote
ISMIS
2005
Springer
16 years 10 days ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
192
Voted
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
190
click to vote
ICTAC
2004
Springer
16 years 6 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...