504 search results - page 8 / 101 » Modular System Development with Pullbacks |
100
click to vote
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper we develop a theory of metamodules and an associated distributed asynchronous planner which generalizes previous work on metamodules for lattice-based modular rob...
100
click to vote
ACL
2012
13 years 2 months ago
2012
This paper introduces BIUTEE1 , an opensource system for recognizing textual entailment. Its main advantages are its ability to utilize various types of knowledge resources, and i...
103
click to vote
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Aspect-oriented systems claim to improve modularity by providing explicit mechanisms that allow modularization of concerns which crosscut the object-oriented decompositio...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Recently, Continua Health Alliance has brought together a powerhouse team, including Cisco, IBM, Motorola and others, for personal telehealth products and services. This team will...
105
click to vote
CCL
1994
Springer
15 years 3 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...