3799 search results - page 647 / 760 » An Engineering Approach to Formal Methods |
164
click to vote
AAAI
2006
15 years 6 months ago
2006
We present a new efficient algorithm for obtaining utilitarian optimal solutions to Disjunctive Temporal Problems with Preferences (DTPPs). The previous state-of-the-art system ac...
172
click to vote
DMDW
2003
15 years 6 months ago
2003
Data Warehouse-(DW) logical design often start with a conceptual schema and then generates relational structures. Applying this approach implies to cope with two main aspects: (i) ...
141
click to vote
DIMACS
1996
15 years 6 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
127
click to vote
ARTMED
2006
15 years 5 months ago
2006
Manual classification of free-text documents within a predefined hierarchy is highly time consuming. This is especially true for clinical guidelines, which are often indexed by mu...
149
Voted
JAPLL
2008
15 years 4 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...