Sciweavers

1783 search results - page 305 / 357
» Provenance and Data Synchronization
Sort
View
AUTONOMICS
2008
ACM
15 years 7 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...
DOCENG
2005
ACM
15 years 7 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...
ERCIMDL
2008
Springer
139views Education» more  ERCIMDL 2008»
15 years 7 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...
173
Voted
FMICS
2008
Springer
15 years 7 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...
IMECS
2007
15 years 7 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