12981 search results - page 2483 / 2597 » Model Checking and Abstraction |
123
click to vote
UAIS
2008
15 years 1 months ago
2008
Abstract Research in the field of sign language recognition has made significant advances in recent years. The present achievements provide the basis for future applications with t...
105
click to vote
AROBOTS
2002
15 years 1 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 ...
107
click to vote
JCNS
2000
15 years 1 months ago
2000
Abstract. Voltage-gated ion channels in neuronal membranes fluctuate randomly between different conformational states due to thermal agitation. Fluctuations between conducting and ...
120
click to vote
IEEEMM
2002
15 years 1 months ago
2002
measuring the product's "lower abstraction attributes."5 We see attributes as measurable properties of an entity--here, a Web application--and propose using a qualit...
102
click to vote
SIAMAM
2000
15 years 1 months ago
2000
Abstract. In many biological examples of biased random walks, movement statistics are determined by state dynamics that are internal to the organism or cell and that mediate respon...