Sciweavers

20059 search results - page 85 / 4012
» The Satellite Data Model
Sort
View
DAC
2008
ACM
14 years 11 months ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...
HCI
2009
13 years 7 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
Philippe A. Palanque, Jean-François Ladry, ...
EMNLP
2007
13 years 11 months ago
Characterizing the Errors of Data-Driven Dependency Parsing Models
We present a comparative error analysis of the two dominant approaches in datadriven dependency parsing: global, exhaustive, graph-based models, and local, greedy, transition-base...
Ryan T. McDonald, Joakim Nivre
WSC
1997
13 years 11 months ago
Data Analysis and Automatic Run-Length Control in CSIM18
The data collection and the automatic run-length control features provided in the CSIM18 library allow model builders to easily collect valid data from a simulation model and to b...
Herbert D. Schwetman, Jeffrey A. Brumfield
WSC
1994
13 years 11 months ago
Downtime data - its collection, analysis, and importance
Until the day when plant production personnel and equipment have no downtime, proper collection and analysis of downtime data will be essential to the development of valid, credib...
Edward J. Williams