Sciweavers

7075 search results - page 1083 / 1415
» Models and heterogeneous reasoning
Sort
View
TROB
2008
113views more  TROB 2008»
15 years 6 months ago
Occam's Razor Applied to Network Topology Inference
We present a method for inferring the topology of a sensor network given nondiscriminating observations of activity in the monitored region. This is accomplished based on no prior ...
Dimitri Marinakis, Gregory Dudek
158
Voted
4OR
2004
99views more  4OR 2004»
15 years 6 months ago
Upper bounds for revenue maximization in a satellite scheduling problem
This paper presents upper bounds for the Satellite Revenue Selection and Scheduling problem (SRSS). A compact model of this generalized Prize Collecting Traveling Salesman Problem ...
Thierry Benoist, Benoît Rottembourg
191
Voted
JSW
2007
134views more  JSW 2007»
15 years 6 months ago
Compositional Patterns of Non-Functional Properties for Contract Negotiation
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
Hervé Chang, Philippe Collet
209
Voted
AMAI
2004
Springer
15 years 6 months ago
Extending Answer Sets for Logic Programming Agents
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
Marina De Vos, Dirk Vermeir
AML
2004
89views more  AML 2004»
15 years 6 months ago
The logic of equilibrium and abelian lattice ordered groups
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...
Adriana Galli, Renato A. Lewin, Marta Sagastume
« Prev « First page 1083 / 1415 Last » Next »