3432 search results - page 188 / 687 » Model Development in the UML-based Specification Environment... |
85
Voted
DAS
2008
Springer
15 years 9 hour ago
2008
Springer
In this paper we present a writer-dependent handwriting recognition system based on hidden Markov models (HMMs). This system, which has been developed in the context of research o...
78
Voted
ICCTA
2007
IEEE
15 years 4 months ago
2007
IEEE
The advent of advanced graphics technologies and improved hardware has enabled the generation of highly complex models with huge number of triangles. Point-based representations a...
HICSS
2000
IEEE
15 years 2 months ago
2000
IEEE
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...
83
Voted
ATVA
2008
Springer
15 years 7 days ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
103
Voted
CORR
2004
Springer
14 years 10 months ago
2004
Springer
Abstract -- The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation...