Sciweavers

5726 search results - page 729 / 1146
» Supporting annotations on relations
Sort
View
ICCS
2003
Springer
16 years 10 hour ago
DDEMA: A Data Driven Environment for Multiphysics Applications
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
John Michopoulos, Panagiota Tsompanopoulou, Elias ...
164
Voted
ICLP
2003
Springer
16 years 8 hour ago
On Deterministic Computations in the Extended Andorra Model
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
Ricardo Lopes, Vítor Santos Costa, Fernando...
IPSN
2003
Springer
15 years 12 months ago
Event Detection Services Using Data Service Middleware in Distributed Sensor Networks
This paper presents the Real-Time Event Detection Service using Data Service Middleware (DSWare). DSWare provides data-centric and group-based services for sensor networks. The rea...
Shuoqi Li, Sang Hyuk Son, John A. Stankovic
ACIIDS
2009
IEEE
162views Database» more  ACIIDS 2009»
15 years 12 months ago
Deriving Conceptual Schema from XML Databases
In this paper, two concepts from different research areas are addressed together, namely functional dependency (FD) and multidimensional association rule (MAR). FD is a class of i...
Oviliani Yenty Yuliana, Suphamit Chittayasothorn
ISMVL
2010
IEEE
188views Hardware» more  ISMVL 2010»
15 years 12 months ago
MDGs Reduction Technique Based on the HOL Theorem Prover
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
Sa'ed Abed, Otmane Aït Mohamed