16 search results - page 1 / 4 » Modal and mixed specifications: key decision problems and th... |
MSCS
2010
13 years 5 months ago
2010
FOSSACS
2008
Springer
14 years 13 days ago
2008
Springer
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
Decision making processes and systems to support the same have focused for the most part on narrow disciplines, paradigms, perspectives, and pre-determined processes. Apart from t...
RSP
1999
IEEE
14 years 3 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...