Sciweavers

2537 search results - page 185 / 508
» How to draw a group
Sort
View
CP
2006
Springer
14 years 23 days ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
FQAS
2004
Springer
135views Database» more  FQAS 2004»
14 years 23 days ago
Interactive Schema Integration with Sphinx
Abstract. The Internet has instigated a critical need for automated tools that facilitate integrating countless databases. Since non-technical end users are often the ultimate repo...
François Barbançon, Daniel P. Mirank...
VL
1995
IEEE
113views Visual Languages» more  VL 1995»
14 years 17 days ago
Toward Empirically-Based Software Visualization Languages
Underlying any single-user software visualization (SV) system is a visualization language onto which its users must map the computations they would like to visualize with the syst...
Sarah A. Douglas, Christopher D. Hundhausen, Donna...
FLAIRS
2010
13 years 11 months ago
Grounded Event-Based and Modal Representations for Objects, Relations, Beliefs, Etc.
Intelligent software agents (agents) adhering to the action selection paradigm have only one primary task that they need accomplish at any given time: to choose their next action....
Ryan James McCall, Stan Franklin, David Friedlande...
ACMDIS
2008
ACM
13 years 11 months ago
Subjective objectivity: negotiating emotional meaning
Affective computing systems face challenges in relating objective measures with subjective human experiences. Many systems have either focused on objective measures as a substitut...
Lucian Leahu, Steve Schwenk, Phoebe Sengers