Sciweavers

4128 search results - page 607 / 826
» Learning and using relational theories
Sort
View
HEURISTICS
2006
102views more  HEURISTICS 2006»
15 years 7 months ago
A logic of soft constraints based on partially ordered preferences
Representing and reasoning with an agent's preferences is important in many applications of constraints formalisms. Such preferences are often only partially ordered. One clas...
Nic Wilson
CORR
2007
Springer
110views Education» more  CORR 2007»
15 years 7 months ago
On formulas for decoding binary cyclic codes
— We address the problem of the algebraic decoding of any cyclic code up to the true minimum distance. For this, we use the classical formulation of the problem, which is to fin...
Daniel Augot, Magali Bardet, Jean-Charles Faug&egr...
ENTCS
2007
95views more  ENTCS 2007»
15 years 7 months ago
Hybridizing a Logical Framework
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
Jason Reed
CCE
2005
15 years 7 months ago
Model-based computer-aided design for controlled release of pesticides
In the field of controlled release technology for pesticides or active ingredients (AI), models that can predict its delivery during application are important for purposes of desi...
Núria Muro-Suñé, Rafiqul Gani...
IJCV
2000
176views more  IJCV 2000»
15 years 7 months ago
Control of a Camera for Active Vision: Foveal Vision, Smooth Tracking and Saccade
Several characteristics of the human oculomotor system have been suggested to be useful also for active vision mechanisms. Among others, foveal vision and a tracking scheme based o...
Ehud Rivlin, Héctor Rotstein