3294 search results - page 361 / 659 » Taxonomy of Process Modeling Languages |
126
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
141
click to vote
PKDD
2010
Springer
15 years 3 months ago
2010
Springer
Latent Dirichlet allocation is a fully generative statistical language model that has been proven to be successful in capturing both the content and the topics of a corpus of docum...
132
click to vote
DOCENG
2006
ACM
15 years 10 months ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
138
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
141
click to vote
ITCC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes efforts underway within Internet2 to create a secure federated IP based videoconferencing model. The objective is to create an environment that is user-friend...