4460 search results - page 767 / 892 » Formal methods for interactive systems |
130
Voted
IE
2007
15 years 5 months ago
2007
Images are widely used in media contexts such as web design, games and video animation. The process of creating interesting images can be enjoyable if a useful tool is involved. I...
128
Voted
BILDMED
2007
15 years 5 months ago
2007
This work aims to propose an interactive method for a iconic and textual annotation of digital mammograms. The suggested annotation tool consists of a semantic network to represent...
124
Voted
NAACL
1994
15 years 5 months ago
1994
Much interest already exists in the electronics research community for developing and integrating speech technology to a variety of applications, ranging from voice-activated syst...
126
Voted
CGF
2010
15 years 3 months ago
2010
Medical volume images contain ambiguous and low-contrast boundaries around which existing fully- or semiautomatic segmentation algorithms often cause errors. In this paper, we pro...
137
click to vote
JCC
2002
15 years 3 months ago
2002
: Constant dielectric (CD) and distance-dependent dielectric (DDD) functions are the most popular and widespread in the Molecular Mechanics simulations of large molecular systems. ...