5456 search results - page 507 / 1092 » A study of Object Evolution |
137
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
This paper describes a study in which a corpus of spoken Danish annotated with focus and topic tags was used to investigate the relation between information structure and pauses. ...
119
click to vote
ECIS
2001
15 years 8 months ago
2001
This paper presents a case study about the implementation of the LIBERATOR project in the Portuguese region of Alentejo. Project LIBERATOR complies with the objectives of the Tele...
169
click to vote
IJCAI
1989
15 years 8 months ago
1989
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
233
click to vote
ASIAN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
166
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The kinematic analysis of a spherical wrist with parallel architecture is the object of this article. This study is part of a larger French project, which aims to design and to bu...