8959 search results - page 1604 / 1792 » Composing aspects with aspects |
184
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
184
click to vote
EKAW
2004
Springer
16 years 1 days ago
2004
Springer
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...
186
click to vote
EWSA
2004
Springer
16 years 1 days ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
179
click to vote
GG
2004
Springer
16 years 1 days ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...
182
click to vote
ICA
2004
Springer
16 years 1 days ago
2004
Springer
The acoustic environment poses at least two important challenges. First, animals must localise sound sources using a variety of binaural and monaural cues; and second they must sep...