Sciweavers

7075 search results - page 164 / 1415
» Models and heterogeneous reasoning
Sort
View
HEURISTICS
2006
95views more  HEURISTICS 2006»
15 years 4 months ago
Hard and soft constraints for reasoning about qualitative conditional preferences
Many real life optimization problems are defined in terms of both hard and soft constraints, and qualitative conditional preferences. However, there is as yet no single framework f...
Carmel Domshlak, Steven David Prestwich, Francesca...
ENTCS
2007
84views more  ENTCS 2007»
15 years 4 months ago
Inductive Reasoning and Programming Visualization, an Experiment Proposal
We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...
Andrés Moreno, Niko Myller, Erkki Sutinen, ...
ICAI
2009
15 years 1 months ago
How Reasoning Achieves Context Integration into Syntax Parsing
Motivated by a representational model for the cross-modal interaction between language and other modalities we present a framework for the integration of contextual information int...
Patrick McCrae
GIS
2007
ACM
16 years 5 months ago
High-level web service for 3D building information visualization and analysis
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
Benjamin Hagedorn, Jürgen Döllner
HLPPP
1991
15 years 7 months ago
Reasoning About Synchronic Groups
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
Gruia-Catalin Roman, H. Conrad Cunningham