1472 search results - page 140 / 295 » Technique Integration for Requirements Assessment |
156
click to vote
ENVSOFT
2002
15 years 6 months ago
2002
Radiative perturbation theory is a computational technique which can greatly ease the burden of repeated solution of the radiative transfer equation for model atmospheres which di...
203
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Microarray technology is a powerful and widely accepted experimental technique in molecular biology that allows studying genome wide transcriptional responses. However...
173
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
This paper presents our first participation in the OAEI 2007 campaign. It describes an approach to align taxonomies which relies on terminological and structural techniques applie...
197
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
164
click to vote
ICMI
2005
Springer
15 years 11 months ago
2005
Springer
Experience shows that decisions in the early phases of the development of a multimodal system prevail throughout the life-cycle of a project. The distributed architecture and the ...