Sciweavers

2189 search results - page 315 / 438
» A Graded Applicability of Rules
Sort
View
JEA
2008
112views more  JEA 2008»
13 years 9 months ago
Dynamic spatial approximation trees
The Spatial Approximation Tree (sa-tree) is a recently proposed data structure for searching in metric spaces. It has been shown that it compares favorably against alternative data...
Gonzalo Navarro, Nora Reyes
JSW
2008
152views more  JSW 2008»
13 years 9 months ago
Reasoning with Semantic Web Technologies in Ubiquitous Computing Environment
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...
WenYing Guo
ENTCS
2007
137views more  ENTCS 2007»
13 years 9 months ago
Formal Sequentialization of Distributed Systems via Program Rewriting
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
Miquel Bertran, Francesc-Xavier Babot, August Clim...
NJC
2006
119views more  NJC 2006»
13 years 9 months ago
A Model-Driven Approach to Variability Management in Product-Line Engineering
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...
André L. Santos, Kai Koskimies, Antó...
AEI
2005
102views more  AEI 2005»
13 years 9 months ago
Manufacturing planning and predictive process model integration using software agents
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
Shaw C. Feng, Keith A. Stouffer, Kevin K. Jurrens