15416 search results - page 214 / 3084 » Embeddings of Computable Structures |
107
click to vote
GD
2009
Springer
15 years 9 months ago
2009
Springer
We show that each quadrangulation on n vertices has a closed rectangle of influence drawing on the (n − 2) × (n − 2) grid. Further, we present a simple algorithm to obtain a...
124
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
178
click to vote
ACII
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present an embedded system in which face recognition and facial expression recognition for Human-Robot Interaction are implemented. To detect face with a fast and...
170
click to vote
MOBISYS
2008
ACM
15 years 6 months ago
2008
ACM
As computing capabilities of embedded devices increase, services such as Internet and multimedia are comportably supported by such devices. Users may demand for migrating services...
128
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Authentic practice in science requires access to phenomena. In this paper, we introduce RoomQuake, an application designed to foster the growth of a community of learning around s...