2583 search results - page 389 / 517 » On the Representation of Timed Polyhedra |
157
click to vote
MDM
2004
Springer
15 years 11 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
158
click to vote
SCOPES
2004
Springer
15 years 11 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
175
click to vote
UIALL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present the results of an exploratory study investigating the feasibility of using multimedia software to teach life skills to adults with learning difficulties. As a ...
144
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
132
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper proposes a simple voting scheme for off-line recognition of handprinted numerals. One of the main features of the proposed scheme is that this is not script dependent. ...