4166 search results - page 121 / 834 » A modular module system |
NOTERE
2010
13 years 8 months ago
2010
CCL
1994
Springer
14 years 2 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
ISWC
2002
IEEE
14 years 3 months ago
2002
IEEE
VizWear-Active is a wearable active vision system for distributed computing environments. It consists of wearable and infrastructure-side modules that autonomously and cooperative...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— We present a high-level language for programming modular robotic systems, based on locally distributed predicates (LDP), which are distributed conditions that hold for a connec...
IJIT
2004
13 years 11 months ago
2004
This paper describes a system, in which various methods of text summarizing can be adapted to Polish. A structure of the system is presented. A modular construction of the system a...