Sciweavers

1389 search results - page 231 / 278
» Model Combination for Machine Translation
Sort
View
BMCBI
2010
118views more  BMCBI 2010»
15 years 25 days ago
Identifying differentially regulated subnetworks from phosphoproteomic data
Background: Various high throughput methods are available for detecting regulations at the level of transcription, translation or posttranslation (e.g. phosphorylation). Integrati...
Martin Klammer, Klaus Godl, Andreas Tebbe, Christo...
89
Voted
ICCV
2005
IEEE
15 years 6 months ago
A Study of Detecting Social Interaction with Sensors in a Nursing Home Environment
Social interaction plays an important role in our daily lives. It is one of the most important indicators of physical or mental diseases of aging patients. In this paper, we presen...
Datong Chen, Jie Yang, Howard D. Wactlar
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 6 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
SPDP
1993
IEEE
15 years 4 months ago
Extended Distributed Genetic Algorithm for Channel Routing
In this paper, we propose a new parallel genetic alge rithm (GA), called Extended Distributed Genetic Algorithm (EDGA), for channel routing problem. The EDGA combines the advantag...
B. B. Prahlada Rao, R. C. Hansdah
MODELS
2010
Springer
14 years 11 months ago
Embedded Software Development with Projectional Language Workbenches
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
Markus Voelter