1742 search results - page 177 / 349 » An Applicative Module Calculus |
ICPR
2008
IEEE
14 years 5 months ago
2008
IEEE
In this paper, we study the major modules of on-line handwritten chemical expressions recognition. We propose a novel two-level algorithm to recognize expressions. In the first le...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
— The paper addresses the problem of autonomous navigation of a car-like robot evolving in an urban environment. Such an environment exhibits an heterogeneous geometry and is clu...
CC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
JIT
2005
Springer
14 years 4 months ago
2005
Springer
: On the one hand, traits are a powerful way of structuring classes. Traits support the reuse of method collections over several classes. However, traits cannot be used when specif...
FSKD
2005
Springer
14 years 4 months ago
2005
Springer
In this paper, an intelligent power management scheme for embedded systems with wireless applications is proposed to reduce the power consumption of the overall system. The propose...