2989 search results - page 355 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
152
click to vote
FINTAL
2006
15 years 10 months ago
2006
This paper addresses a problem of natural language text alignment, from a humanities discipline called textual genetic criticism where different text versions must be compared. The...
180
click to vote
CAEPIA
2009
Springer
15 years 7 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
160
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
153
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a two-level Boolean minimization tool (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are ge...
299
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...