Sciweavers

1587 search results - page 252 / 318
» The Semantics of Extended SOFL
Sort
View
IEEEARES
2007
IEEE
14 years 3 months ago
Models for automatic generation of safety-critical real-time systems
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
Christian Buckl, Matthias Regensburger, Alois Knol...
IPPS
2007
IEEE
14 years 3 months ago
Static-Priority Scheduling and Resource Hold Times
The duration of time for which each application locks each shared resource is critically important in composing multiple independently-developed applications upon a shared “open...
Marko Bertogna, Nathan Fisher, Sanjoy K. Baruah
SEMCO
2007
IEEE
14 years 3 months ago
Determining Modality and Factuality for Text Entailment
Recognizing textual entailment (TE) is a complex task involving knowledge from many different sources. One major source of information in this task is event factuality, since the ...
Roser Sauri, James Pustejovsky
ADC
2007
Springer
164views Database» more  ADC 2007»
14 years 3 months ago
Computer Assisted Assessment of SQL Query Skills
Structured Query Language (SQL) is the dominant language for querying relational databases today, and is an essential topic in introductory database courses in higher education. E...
Stijn Dekeyser, Michael de Raadt, Tien Yu Lee
AMR
2007
Springer
120views Multimedia» more  AMR 2007»
14 years 3 months ago
Searching for Music Using Natural Language Queries and Relevance Feedback
We extend an approach to search inside large-scale music collections by enabling the user to give feedback on the retrieved music pieces. In the original approach, a search engine ...
Peter Knees, Gerhard Widmer