3233 search results - page 200 / 647 » Validation Method for Intelligent Systems |
124
click to vote
ECAL
1999
Springer
15 years 8 months ago
1999
Springer
Categorization dynamics as the clustering of words in word relation is studied by a constructive approach which is suited to inquire evolutionary linguistics with dynamical view on...
LREC
2010
15 years 5 months ago
2010
The manual transcription of human gesture behavior from video for linguistic analysis is a work-intensive process that results in a rather coarse description of the original motio...
129
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Keepaway is a sub-problem of RoboCup Soccer Simulator in which 'the keepers' try to maintain the possession of the ball, while 'the takers' try to steal the ba...
106
click to vote
ECBS
2005
IEEE
15 years 9 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
138
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...