1527 search results - page 198 / 306 » From Requirements to Design: Formalizing the Key Steps |
PCM
2004
Springer
14 years 2 months ago
2004
Springer
Query by video clip (QVC) has attracted wide research interests in multimedia information retrieval. In general, QVC may include feature extraction, similaritymeasure,databaseorgan...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
CAISE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
GCC
2007
Springer
13 years 11 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
MMAS
2010
Springer
13 years 3 months ago
2010
Springer
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...