6618 search results - page 1174 / 1324 » Natural Logic for Natural Language |
196
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
194
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
179
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
We present a computational study of an auction-based method for decentralized train scheduling. The method is well suited to the natural information and control structure of moder...
201
click to vote
DBPL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We are interested in the theoretical foundations of the optimization of conjunctive regular path queries (CRPQs). The basic problem here is deciding query containment bot...
164
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...