7623 search results - page 481 / 1525 » Constructive Volume Modeling |
188
click to vote
AUSAI
2003
Springer
16 years 1 days ago
2003
Springer
Most on-line cursive handwriting recognition systems use a lexical constraint to help improve the recognition performance. Traditionally, the vocabulary lexicon is stored in a trie...
172
click to vote
ICCS
2003
Springer
16 years 19 hour ago
2003
Springer
Abstract. Apart from experimental and theoretical approaches, computer simulation is an important tool in testing hypotheses about stony coral growth. However, the construction and...
188
click to vote
SEAAI
1998
Springer
15 years 11 months ago
1998
Springer
In a multidisciplinary design environment, such as the architecture, engineering and construction (AEC) domain, the various designers will have their own views, concepts and repre...
153
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Improvements in optical technology will enable the constructionof high bandwidth, low latencyswitching networks. These networks have many applications in massively parallel proces...
165
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...