2274 search results - page 126 / 455 » Qualitative Modeling for Requirements Engineering |
198
click to vote
CVIU
2011
14 years 9 months ago
2011
In this paper, we aim to reconstruct free-form 3D models from only one or few silhouettes by learning the prior knowledge of a specific class of objects. Instead of heuristically...
165
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Successful realization of a "systems biology" approach to analyzing cells is a grand challenge for our understanding of life. However, current modeling appro...
183
click to vote
AIRWEB
2006
Springer
15 years 10 months ago
2006
Springer
Search engines are commercial entities that require revenue to survive. The most prevalent revenue stream for search engines is sponsored search, where content providers have sear...
193
click to vote
TACAS
2007
Springer
16 years 11 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
139
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
Bulk data movement occurs commonly in server workloads and their performance is rather poor on today’s microprocessors. We propose the use of small dedicated copy engines, and p...