Sciweavers

1054 search results - page 106 / 211
» Translation Validation of System Abstractions
Sort
View
BMCBI
2007
142views more  BMCBI 2007»
15 years 6 months ago
LinkHub: a Semantic Web system that facilitates cross-database queries and information retrieval in proteomics
nd: A key abstraction in representing proteomics knowledge is the notion of unique identifiers for individual entities (e.g. proteins) and the massive graph of relationships among...
Andrew K. Smith, Kei-Hoi Cheung, Kevin Y. Yip, Mar...
CAISE
2006
Springer
15 years 10 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
SMALLTALK
2007
Springer
16 years 14 days ago
Object flow analysis: taking an object-centric view on dynamic analysis
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
Adrian Lienhard, Stéphane Ducasse, Tudor G&...
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 4 months ago
Homogeneity in the bi-limit as a tool for observer and feedback design
Abstract-- We introduce an extension of the notion of homogeneous approximation to make it valid both at the origin and at infinity (homogeneity in the bi-limit). Exploiting this e...
Vincent Andrieu, Laurent Praly, Alessandro Astolfi
ICCPOL
2009
Springer
16 years 27 days ago
Dialogue Strategies to Overcome Speech Recognition Errors in Form-Filling Dialogue
Abstract. In a spoken dialogue system, the speech recognition performance accounts for the largest part of the overall system performance. Yet spontaneous speech recognition has an...
Sangwoo Kang, Songwook Lee, Jungyun Seo