3582 search results - page 610 / 717 » Designing games with a purpose |
173
click to vote
ISAAC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper, we consider the problem of computing a minimum bending energy path (or MinBEP) in a simple corridor. Given a simple 2D corridor C bounded by straight line ...
178
click to vote
SENSYS
2010
ACM
15 years 3 months ago
2010
ACM
Understanding the dynamics of bodies of water and their impact on the global environment requires sensing information over the full volume of water. We develop a gradientbased dec...
186
click to vote
APSEC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
164
click to vote
CAISE
2009
Springer
15 years 3 months ago
2009
Springer
The International Organization for Standardization (ISO) has defined Quality Management, but it has not yet adopted standards for developing Quality Management Systems (QMSs), nota...
122
click to vote
CORR
2009
Springer
15 years 3 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...