20441 search results - page 268 / 4089 » Locally Computable Structures |
157
click to vote
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
A course on pervasive computing should be structured around key functions throughout a systems development process to cover common underlying concerns throughout science and engin...
112
click to vote
ASYNC
2003
IEEE
15 years 9 months ago
2003
IEEE
The lack of proven mechanisms for transferring data between multiple synchronous islands has been a major impediment for applying globally asynchronous locally synchronous (GALS) ...
146
click to vote
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
138
click to vote
IJIT
2004
15 years 5 months ago
2004
Developing techniques for mobile robot navigation constitutes one of the major trends in the current research on mobile robotics. This paper develops a local model network (LMN) fo...
127
click to vote
DAGM
2010
Springer
15 years 5 months ago
2010
Springer
Fitting statistical models is a widely employed technique for the segmentation of medical images. While this approach gives impressive results for simple structures, shape models a...