Sciweavers

851 search results - page 29 / 171
» Synthesis of Distributed Systems from Knowledge-Based Specif...
Sort
View
HICSS
2007
IEEE
120views Biometrics» more  HICSS 2007»
14 years 2 months ago
A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
Tim Schattkowsky, Gregor Engels, Alexander Fö...
CRV
2009
IEEE
184views Robotics» more  CRV 2009»
14 years 2 months ago
IceSynth: An Image Synthesis System for Sea-Ice Segmentation Evaluation
An ongoing challenge in automatic sea-ice monitoring using synthetic aperture radar (SAR) is the automatic segmentation of SAR sea-ice images based on the underlying ice type. Giv...
Alexander Wong, Wen Zhang, David A. Clausi
ICMAS
1998
13 years 9 months ago
Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...
Munindar P. Singh
ICPPW
2006
IEEE
14 years 1 months ago
A Comparative Study of Web Services-based Event Notification Specifications
—Web services-based event notification is an emerging technology that combines the asynchronous communication feature of event notification mechanisms and the interoperability fe...
Yi Huang, Dennis Gannon
ACL
2010
13 years 5 months ago
WSD as a Distributed Constraint Optimization Problem
This work models Word Sense Disambiguation (WSD) problem as a Distributed Constraint Optimization Problem (DCOP). To model WSD as a DCOP, we view information from various knowledg...
Siva Reddy, Abhilash Inumella