Sciweavers

8337 search results - page 82 / 1668
» Reasoning With Characteristic Models
Sort
View
AAAI
2000
15 years 5 months ago
Redundancy in Random SAT Formulas
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
Yacine Boufkhad, Olivier Roussel
EOR
2002
85views more  EOR 2002»
15 years 4 months ago
Reasoning with contextual graphs
Decision trees allow the modeling of event-dependent reasoning, but do not consider the dynamics of contextual changes in reasoning. In the framework of the SART project, which ai...
Patrick Brézillon, Laurent Pasquier, Jean-C...
PERCOM
2007
ACM
16 years 3 months ago
Managing an Integrated Ubicomp Environment Using Ontologies and Reasoning
One issue hindering the deployment of integrated ubicomp environments is the lack of a shared model for applications to utilize resources across administrative and network domains...
Michael Blackstock, Rodger Lea, Charles Krasic
JSW
2008
105views more  JSW 2008»
15 years 4 months ago
Reasoning Principles for Negotiating Agent
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
Mukun Cao, Yuqiang Feng
141
Voted
GPEM
2002
109views more  GPEM 2002»
15 years 3 months ago
Some Considerations on the Reason for Bloat
A representation-less model for genetic programming is presented. The model is intended to examine the mechanisms that lead to bloat in genetic programming (GP). We discuss two hyp...
Wolfgang Banzhaf, William B. Langdon