2296 search results - page 267 / 460 » The Expressive Power of Synchronizations |
166
click to vote
ECAI
2004
Springer
16 years 15 days ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
227
click to vote
ISSAC
2004
Springer
16 years 14 days ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
194
click to vote
LICS
2003
IEEE
16 years 11 days ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
324
click to vote
AIME
2003
Springer
16 years 10 days ago
2003
Springer
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...
205
click to vote
ASP
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...