896 search results - page 143 / 180 » Stepwise Refinement of Processes |
SIGSOFT
2000
ACM
14 years 3 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
ICPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Maximizing passengers comfort is an important research topic in the domain of automotive systems engineering. In particular, an automatic adjustment of seat position according to d...
EICS
2010
ACM
14 years 3 months ago
2010
ACM
Multi-user multimodal interactive systems involve multiple users that can use multiple interaction modalities. Although multi-user multimodal systems are becoming more prevalent (...
GMP
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract. In isogeometric analysis (IGA for short) framework, computational domain is exactly described using the same representation as that employed in the CAD process. For a CAD...
HICSS
1999
IEEE
14 years 3 months ago
1999
IEEE
Typically, searching for information in a document collection amounts to refining a query and then scanning a large number of documents to determine their relevance. Active Summar...