Sciweavers

2656 search results - page 383 / 532
» A general purpose animator
Sort
View
CORR
2006
Springer
83views Education» more  CORR 2006»
15 years 5 months ago
A Multi-Relational Network to Support the Scholarly Communication Process
The general purpose of the scholarly communication process is to support the creation and dissemination of ideas within the scientific community. At a finer granularity, there exi...
Marko A. Rodriguez
161
Voted
FUIN
2006
85views more  FUIN 2006»
15 years 5 months ago
Towards Integrated Verification of Timed Transition Models
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
Mark Lawford, Vera Pantelic, Hong Zhang
GIS
2006
ACM
15 years 5 months ago
B-Spline curve smoothing under position constraints for line generalisation
Currently, most of the operations performed for the construction of marine charts are still done manually. However, with the development of more and more powerful techniques, new ...
Eric Guilbert, Hui Lin 0002
IJCSA
2006
138views more  IJCSA 2006»
15 years 5 months ago
An Integrated System for Cancer-Related Genes Mining from Biomedical Literatures
According to statistics, the rate of having cancer is relatively high for people in developing and developed countries. So cancer can be called as the enemy of human health. With ...
Shih-Nung Chen, Kuo-Cheng Wen
JCP
2008
115views more  JCP 2008»
15 years 5 months ago
Practical Chip-level Equalizers in HSDPA
High-speed downlink packet access (HSDPA) has been developed to upgrade the current WCDMA system in yerms of providing a higher data rate for mobile users. To ensure a downlink spe...
Minjae Park, Woonsik Lee, Minh-Viet Nguyen, Hwang ...