1823 search results - page 95 / 365 » Formal specification: a roadmap |
149
click to vote
AIME
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...
144
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
126
Voted
AIPS
2004
15 years 6 months ago
2004
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
139
Voted
COMPSEC
2008
15 years 4 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
155
Voted
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...