Sciweavers

2153 search results - page 314 / 431
» From Requirements Models to Formal Specifications in B
Sort
View
VLDB
1998
ACM
147views Database» more  VLDB 1998»
15 years 10 months ago
Scalable Techniques for Mining Causal Structures
Mining for association rules in market basket data has proved a fruitful areaof research. Measures such as conditional probability (confidence) and correlation have been used to i...
Craig Silverstein, Sergey Brin, Rajeev Motwani, Je...
DAWAK
2004
Springer
15 years 11 months ago
Conceptual Design of XML Document Warehouses
EXtensible Markup Language (XML) has emerged as the dominant standard in describing and exchanging data among heterogeneous data sources. XML with its self-describing hierarchical ...
Vicky Nassis, Rajagopal Rajugan, Tharam S. Dillon,...
SAC
2002
ACM
15 years 6 months ago
Semi-automatic design of agent organisations
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
Anthony Karageorgos, Simon G. Thompson, Nikolay Me...
EKAW
2000
Springer
15 years 10 months ago
The Role of Ontologies for an Effective and Unambiguous Dissemination of Clinical Guidelines
Guidelines for clinical practice are being introduced in an extensive way in more and more different fields of medicine They have the potential to improve the quality and cost-effi...
Domenico M. Pisanelli, Aldo Gangemi, Geri Steve
ICCCN
2008
IEEE
16 years 23 days ago
A Structured Hardware/Software Architecture for Embedded Sensor Nodes
—Owing to the limited requirement for sensor processing in early networked sensor nodes, embedded software was generally built around the communication stack. Modern sensor nodes...
Geoff V. Merrett, Alex S. Weddell, Nick R. Harris,...