Sciweavers

1783 search results - page 305 / 357
» Provenance and Data Synchronization
Sort
View
AUTONOMICS
2008
ACM
15 years 5 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
140
Voted
DOCENG
2005
ACM
15 years 5 months ago
Integrating translation services within a structured editor
Fully automatic machine translation cannot produce high quality translation; Dialog-Based Machine Translation (DBMT) is the only way to provide authors with a means of translating...
Ali Choumane, Hervé Blanchon, Cécile...
154
Voted
ERCIMDL
2008
Springer
139views Education» more  ERCIMDL 2008»
15 years 5 months ago
A Framework for Managing Multimodal Digitized Music Collections
Abstract. In this paper, we present a framework for managing heterogeneous, multimodal digitized music collections containing visual music representations (scanned sheet music) as ...
Frank Kurth, David Damm, Christian Fremerey, Meina...
146
Voted
FMICS
2008
Springer
15 years 5 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
106
Voted
IMECS
2007
15 years 5 months ago
A New Class Based Associative Classification Algorithm
—applying the association rule into classification can improve the accuracy and obtain some valuable rules and information that cannot be captured by other classification approac...
Zhonghua Tang, Qin Liao