Sciweavers

3239 search results - page 592 / 648
» A Logical Process Calculus
Sort
View
97
Voted
CGF
2004
118views more  CGF 2004»
15 years 13 days ago
Cultural Heritage Preservation Using Constructive Shape Modeling
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
Carl Vilbrandt, Galina Pasko, Alexander A. Pasko, ...
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 13 days ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
95
Voted
CORR
2000
Springer
104views Education» more  CORR 2000»
15 years 12 days ago
ATLAS: A flexible and extensible architecture for linguistic annotation
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
Steven Bird, David Day, John S. Garofolo, John Hen...
91
Voted
INTEGRATION
2000
71views more  INTEGRATION 2000»
15 years 12 days ago
A hardware implementation of realloc function
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management. Objectoriented applications oft...
Witawas Srisa-an, Chia-Tien Dan Lo, J. Morris Chan...
113
Voted
SIGKDD
2000
112views more  SIGKDD 2000»
15 years 11 days ago
Artificial Neural Networks - A Science in Trouble
This article points out some very serious misconceptions about the brain in connectionism and artificial neural networks. Some of the connectionist ideas have been shown to have l...
Asim Roy