811 search results - page 30 / 163 » Integrating Formal Description Techniques |
IUI
2006
ACM
14 years 2 months ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
JUCS
2002
13 years 8 months ago
2002
: Managing image data in a database system using metadata has been practiced since the last two decades. However, describing an image fully and adequately with metadata is practica...
FMAM
2010
13 years 6 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
BMCBI
2008
13 years 8 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
In this paper, a new framework for the tracking of closed curves is described. The proposed approach, formalized through an optimal control technique, enables a continuous trackin...