10159 search results - page 1691 / 2032 » System Design Validation Using Formal Models |
231
click to vote
AAAI
2012
13 years 9 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
313
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Conventional 802.11 medium access control (MAC) characteristics. In particular, all of these designs adopted a protocols have been designed separately from the characteristics s...
215
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
DEODHAR, SUSHAMNA DEODHAR. Using Grammatical Evolution Decision Trees for Detecting Gene-Gene Interactions in Genetic Epidemiology. (Under the direction of Dr. Alison Motsinger-Re...
171
click to vote
ANLP
1997
15 years 8 months ago
1997
We present results of probabilistic tagging of Czech texts in order to show how these techniques work for one of the highly morphologically ambiguous inflective languages. After d...
172
click to vote
AROBOTS
2002
15 years 6 months ago
2002
Abstract. We describe a new method for representing human movement compactly, in terms of a linear superimposition of simpler movements termed primitives. This method is a part of ...