Sciweavers

1413 search results - page 49 / 283
» A new condensation principle
Sort
View
PAKDD
2004
ACM
183views Data Mining» more  PAKDD 2004»
14 years 2 months ago
Constraint-Based Graph Clustering through Node Sequencing and Partitioning
This paper proposes a two-step graph partitioning method to discover constrained clusters with an objective function that follows the well-known minmax clustering principle. Compar...
Yu Qian, Kang Zhang, Wei Lai
SMILE
1998
Springer
14 years 1 months ago
Dualizing Scene Reconstruction Algorithms
It has been known since the work of Carlsson and Weinshall that there is a dualization principle that allows one to interchange the role of points being viewed by several cameras ...
Richard I. Hartley, Gilles Debunne
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
14 years 19 days ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
POPL
1997
ACM
14 years 15 days ago
A Unified Computation Model for Functional and Logic Programming
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
Michael Hanus
AAAI
2006
13 years 10 months ago
MedEthEx: A Prototype Medical Ethics Advisor
As part of a larger Machine Ethics Project, we are developing an ethical advisor that provides guidance to health care workers faced with ethical dilemmas. MedEthEx is an implemen...
Michael Anderson, Susan Leigh Anderson, Chris Arme...