626 search results - page 123 / 126 » When Can Formal Methods Make a Real Difference |
122
click to vote
CAIP
2003
Springer
15 years 8 months ago
2003
Springer
A new direction in improving modern dialogue systems is to make a human-machine dialogue more similar to a human-human dialogue. This can be done by adding more input modalities. O...
121
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Quality-control is an important issue in the analysis of gene expression microarrays. One type of problem is regional bias, in which one region of a chip shows artifac...
130
Voted
HVEI
2009
15 years 1 months ago
2009
Much research has gone into developing methods for enhancing the contrast of displayed 3D scenes. In the current study, we investigated the perceptual impact of an algorithm recen...
130
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
In multiagent settings where the agents have different preferences, preference aggregation is a central issue. Voting is a general method for preference aggregation, but seminal r...
162
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...