Sciweavers

2131 search results - page 238 / 427
» Stochastic Process Creation
Sort
View
ENTCS
2008
135views more  ENTCS 2008»
15 years 4 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
CORR
2006
Springer
119views Education» more  CORR 2006»
15 years 4 months ago
DepAnn - An Annotation Tool for Dependency Treebanks
DepAnn is an interactive annotation tool for dependency treebanks, providing both graphical and text-based annotation interfaces. The tool is aimed for semi-automatic creation of t...
Tuomo Kakkonen
CORR
2006
Springer
158views Education» more  CORR 2006»
15 years 4 months ago
Building a resource for studying translation shifts
This paper describes an interdisciplinary approach which brings together the fields of corpus linguistics and translation studies. It presents ongoing work on the creation of a co...
Lea Cyrus
IJVR
2008
134views more  IJVR 2008»
15 years 4 months ago
An Educational Virtual Scenario for Learning Chaos and Complexity Theories
Based on contemporary Chaos and Complexity Theories, ImaginationTOOLSTM is an innovative Virtual Reality (VR) software architecture which, by means of an agent-based interface, end...
Francesca Bertacchini, Eleonora Bilotta, Pietro Pa...
IVC
2008
71views more  IVC 2008»
15 years 4 months ago
Topological triangle characterization with application to object detection from images
A novel mathematical framework inspired on Morse Theory for topological triangle characterization in 2D meshes is introduced that is useful for applications involving the creation...
Luis Gustavo Nonato, Mario A. S. Lizier, J. Batist...