Sciweavers

10568 search results - page 17 / 2114
» Computer Intelligence and Formalization
Sort
View
AI
2004
Springer
14 years 9 months ago
Comparing formal theories of context in AI
Luciano Serafini, Paolo Bouquet
AMAI
1998
Springer
14 years 9 months ago
A Formal Framework for Evaluating Heuristic Programs
Lenore Cowen, Joan Feigenbaum, Sampath Kannan
IPSN
2007
Springer
15 years 3 months ago
Design and implementation of a wireless sensor network for intelligent light control
We present the design and implementation of the Illuminator, a preliminary sensor network-based intelligent light control system for entertainment and media production. Unlike mos...
Heemin Park, Jeff Burke, Mani B. Srivastava
ACMICEC
2006
ACM
191views ECommerce» more  ACMICEC 2006»
15 years 3 months ago
An ontology of trust: formal semantics and transitivity
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...
Jingwei Huang, Mark S. Fox
AIIA
2005
Springer
15 years 3 months ago
Towards Fault-Tolerant Formal Concept Analysis
Given Boolean data sets which record properties of objects, Formal Concept Analysis is a well-known approach for knowledge discovery. Recent application domains, e.g., for very lar...
Ruggero G. Pensa, Jean-François Boulicaut