Sciweavers

627 search results - page 101 / 126
» Experiences in Modeling for a Domain Specific Language
Sort
View
ERCIMDL
2010
Springer
163views Education» more  ERCIMDL 2010»
13 years 9 months ago
Determining Time of Queries for Re-ranking Search Results
Abstract. Recent work on analyzing query logs shows that a significant fraction of queries are temporal, i.e., relevancy is dependent on time, and temporal queries play an importan...
Nattiya Kanhabua, Kjetil Nørvåg
JOT
2008
122views more  JOT 2008»
13 years 8 months ago
UML and Object Oriented Drama
Readers of this article have probably seen, at least once, diagrams produced using the UML (Unified Modeling Language). Some of you have perhaps used UML for your own work and kno...
Luca Vetti Tagliati, Carlo Caloro
RSP
1999
IEEE
125views Control Systems» more  RSP 1999»
14 years 8 days ago
Extended Synchronous Dataflow for Efficient DSP System Prototyping
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...
Chanik Park, JaeWoong Chung, Soonhoi Ha
FM
2008
Springer
137views Formal Methods» more  FM 2008»
13 years 9 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
AAAI
2004
13 years 9 months ago
SCoT: A Spoken Conversational Tutor
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
Karl Schultz, Brady Clark, Heather Pon-Barry, Eliz...