Sciweavers

2370 search results - page 205 / 474
» A Structured Set of Higher-Order Problems
Sort
View
GD
2004
Springer
15 years 9 months ago
The Three Dimensional Logic Engine
We consider the following graph embedding question: given a graph G, is it possible to map its vertices to points in 3D such that G is isomorphic to the mutual nearest neighbor gra...
Matthew Kitching, Sue Whitesides
CP
2003
Springer
15 years 9 months ago
Constraint-Based Optimization with the Minimax Decision Criterion
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
Craig Boutilier, Relu Patrascu, Pascal Poupart, Da...
ECAI
2006
Springer
15 years 7 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
COLING
2008
15 years 5 months ago
Exact Inference for Multi-label Classification using Sparse Graphical Models
This paper describes a parameter estimation method for multi-label classification that does not rely on approximate inference. It is known that multi-label classification involvin...
Yusuke Miyao, Jun-ichi Tsujii
TAMODIA
2008
15 years 5 months ago
Involving End Users in Distributed Requirements Engineering
Active involvement of end users in the development of interactive systems is both highly recommended and highly challenging. This is particularly true in settings where the require...
Steffen Lohmann, Jürgen Ziegler, Philipp Heim