322 search results - page 1 / 65 » An Example of an Automatic Differentiation-Based Modelling S... |
ICCSA
2003
Springer
13 years 10 months ago
2003
Springer
WETICE
2003
IEEE
13 years 10 months ago
2003
IEEE
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
LREC
2010
13 years 6 months ago
2010
Current state-of-the-art systems for automatic phonetic transcription (APT) are mostly phone recognizers based on Hidden Markov models (HMMs). We present a different approach for ...
TABLEAUX
1998
Springer
13 years 9 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
ICCV
2001
IEEE
14 years 6 months ago
2001
IEEE
In this paper, we present an example-based facial sketch system. Our system automatically generates a sketch from an input image, by learning from example sketches drawn with a pa...