Sciweavers

1819 search results - page 4 / 364
» Computability and Representations of the Zero Set
Sort
View
AAAI
1998
13 years 9 months ago
Logical Representation and Computation of Optimal Decisions in a Qualitative Setting
This paper describes a logical machineryfor computing decisions based on an ATMSprocedure, wherethe available knowledgeon the state of the world is describedbya possibilistic prop...
Didier Dubois, Daniel Le Berre, Henri Prade, R&eac...
DEDS
2002
106views more  DEDS 2002»
13 years 7 months ago
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
We propose an approach that integrates and extends known techniques from different areas to handle and analyze a complex and large system described as a network of synchronized com...
Peter Buchholz, Peter Kemper
COMPUTING
2006
100views more  COMPUTING 2006»
13 years 7 months ago
Interval Arithmetic with Containment Sets
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...
John D. Pryce, George F. Corliss
ACL
2010
13 years 5 months ago
A Generalized-Zero-Preserving Method for Compact Encoding of Concept Lattices
Constructing an encoding of a concept lattice using short bit vectors allows for efficient computation of join operations on the lattice. Join is the central operation any unifica...
Matthew Skala, Victoria Krakovna, János Kra...
ISBI
2004
IEEE
14 years 8 months ago
Brain Warping with Implicit Representations
In this paper, a new framework for brain warping via landmark matching is proposed using implicit representations or the level set method. We demonstrate this powerful technique b...
Alexia Leow, Paul M. Thompson, Hillary Protas, Sun...