Sciweavers

4008 search results - page 368 / 802
» An expressive language of signatures
Sort
View
LOPSTR
2004
Springer
16 years 5 days ago
Natural Rewriting for General Term Rewriting Systems
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
Santiago Escobar, José Meseguer, Prasanna T...
SEMWEB
2004
Springer
16 years 5 days ago
Querying Faceted Databases
Faceted classification allows one to model applications with complex classification hierarchies using orthogonal dimensions. Recent work has examined the use of faceted classi...
Kenneth A. Ross, Angel Janevski
WAC
2004
Springer
150views Communications» more  WAC 2004»
16 years 5 days ago
A Systems Architecture for Sensor Networks Based On Hardware/Software Co-design
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
Andy Nisbet, Simon Dobson
IEEEICCI
2003
IEEE
16 years 3 days ago
Mixing Semantic Networks and Conceptual Vectors: The Case of Hyperonymy
In this paper, we focus on lexical semantics, a key issue in Natural Language Processing (NLP) that tends to converge with conceptual Knowledge Representation (KR) and ontologies....
Violaine Prince, Mathieu Lafourcade
AOSD
2003
ACM
16 years 2 days ago
Aspects and polymorphism in AspectJ
There are two important points of view on inclusion or subtype polymorphism in object-oriented programs, namely polymorphic access and dynamic dispatch. These features are essenti...
Erik Ernst, David H. Lorenz