Sciweavers

7040 search results - page 158 / 1408
» The Single Model Principle
Sort
View
ABIALS
2008
Springer
14 years 3 months ago
A Two-Level Model of Anticipation-Based Motor Learning for Whole Body Motion
Abstract. We present a model of motor learning based on a combination of Operational Space Control and Optimal Control. Anticipatory processes are used both in the learning of the ...
Camille Salaün, Vincent Padois, Olivier Sigau...
MEMOCODE
2005
IEEE
14 years 2 months ago
Three-valued logic in bounded model checking
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
Tobias Schüle, Klaus Schneider
HT
2004
ACM
14 years 2 months ago
Navigational hypertext models For physical hypermedia environments
In this paper we identify a common aim between ubiquitous computing and hypertext systems: the desire to present navigable, located and structured information. We propose that exi...
David E. Millard, David De Roure, Danius T. Michae...
ACL
2007
13 years 10 months ago
Guiding Statistical Word Alignment Models With Prior Knowledge
We present a general framework to incorporate prior knowledge such as heuristics or linguistic features in statistical generative word alignment models. Prior knowledge plays a ro...
Yonggang Deng, Yuqing Gao
FOIS
2008
13 years 10 months ago
Artefacts and Roles: Modelling Strategies in a Multiplicative Ontology
The purpose of this paper is to examine different modelling strategies available in a multiplicative formal ontology, and the principles that drive their choice. This study is base...
Laure Vieu, Stefano Borgo, Claudio Masolo