Sciweavers

2024 search results - page 281 / 405
» The Meaning of Ordered SOS
Sort
View
SERP
2003
15 years 7 months ago
Polymorphism in Object-Oriented Contract Verification
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...
Isabel Nunes
PDPTA
2000
15 years 7 months ago
ORB Instrumentation for Management of CORBA
Object middleware, such as CORBA, is rapidly gaining acceptance as a means for cost effective and fast development for a wide range of applications in various areas of industry. St...
Maarten Wegdam, Dirk-Jaap Plas, Aart van Halteren,...
AAAI
1994
15 years 7 months ago
Learning to Coordinate without Sharing Information
Researchers in the eld of Distributed Arti cial Intelligence (DAI) have been developing e cient mechanisms to coordinate the activities of multiple autonomous agents. The need for...
Sandip Sen, Mahendra Sekaran, John Hale
COLING
1996
15 years 7 months ago
The Automatic Extraction of Open Compounds from Text Corpora
This paper describes a new method for extracting open compounds (uninterrupted sequences of words) from text corpora of languages, such as Thai, Japanese and Korea that exhibit un...
Virach Sornlertlamvanich, Hozumi Tanaka
WCE
2007
15 years 7 months ago
Information Fusion for Hazard Analysis in Multi-Sensor Systems based on Bayesian Networks
—Modern sliding table saws are equipped with several passive safety devices. However, alone in Germany several hundred severe injuries or limb amputations occur each year due dis...
Jörg Barrho, Johannes Hauger, Uwe Kiencke