4987 search results - page 244 / 998 » Support Ordered Resolution |
123
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
115
click to vote
ACL
1992
15 years 5 months ago
1992
Linear precedence (LP) rules are widely used for stating word order principles. They have been adopted as constraints by HPSG but no encoding in the formalism has been provided. S...
153
click to vote
CAISE
2010
Springer
14 years 11 months ago
2010
Springer
The paper is devoted to finding a view on business processes that helps to introduce into business process support systems a notion of shared spaces widely used in social software....
152
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
123
click to vote
BTW
2009
Springer
15 years 7 months ago
2009
Springer
: Today, decision making by users of front office applications happens without analytical information supporting this process. We propose as solution Embedded Analytics (EA) making...