Sciweavers

26071 search results - page 147 / 5215
» Making the
Sort
View
SPLC
2008
13 years 10 months ago
Do SAT Solvers Make Good Configurators?
A configuration process is about finding a configuration, a setting, that satisfies the requirements given by the user and constraints imposed by the domain. Feature models are us...
Mikolás Janota
WSPI
2008
13 years 10 months ago
ReCollection: a Disposal/Formal Requirement-Based Tool to Support Sustainable Collection Making
Many of our modern computerized activities, may they be personal, industrial or artistic, involve searching, classifying and browsing large numbers of digital objects. The tools w...
Francis Rousseaux, Alain Bonardi, Benjamin Roadley
AAAI
2004
13 years 10 months ago
Making Argumentation More Believable
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting ar...
Anthony Hunter
AAAI
2006
13 years 10 months ago
Multimodal Cognitive Architecture: Making Perception More Central to Intelligent Behavior
I propose that the notion of cognitive state be broadened from the current predicate-symbolic, Language-of-Thought framework to a multi-modal one, where perception and kinesthetic...
B. Chandrasekaran