10454 search results - page 317 / 2091 » Modeling the Experience of Emotion |
146
Voted
ISMIS
1997
Springer
15 years 11 months ago
1997
Springer
Discovery of multidimensional empirical equations has been a task of systems such as BACON and FAHRENHEIT. When confronted with data collected in a robotic experiment, BACON-like g...
158
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
197
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
131
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Conventional models of multirobot control assume independent robots and tasks. This allows an additive model in which the operator controls robots sequentially neglecting each u...
162
click to vote
FLAIRS
2007
15 years 9 months ago
2007
We deal with the search process of the GraphPlan algorithm in this paper. We concentrate on a problem of finding supports for a sub-goal which arises during the search. We model t...