Sciweavers

2036 search results - page 88 / 408
» A generic type-and-effect system
Sort
View
114
Voted
TSP
2012
13 years 8 months ago
Parametrization of Linear Systems Using Diffusion Kernels
—Modeling natural and artificial systems has played a key role in various applications and has long been a task that has drawn enormous efforts. In this work, instead of explori...
Ronen Talmon, Dan Kushnir, Ronald R. Coifman, Isra...
108
Voted
ICLP
1995
Springer
15 years 4 months ago
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel...
90
Voted
JISE
2006
73views more  JISE 2006»
15 years 18 days ago
TeMeFr: Towards a Reuse-Based Development for Conference-Oriented Telemedicine Systems
formation driven paradigm that tends to fail in capturing suitable abstraction when developing conference-oriented telemedicine systems for assisting the proceeding of telemedicine...
Hewijin Christine Jiau, Jinghong Cox Chen, Kuo-Fen...
COMPSAC
2003
IEEE
15 years 6 months ago
Incremental Transformation of Procedural Systems to Object Oriented Platforms
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
Ying Zou, Kostas Kontogiannis
ICPR
2006
IEEE
16 years 1 months ago
A Hierarchical Object Recognition System Based on Multi-scale Principal Curvature Regions
This paper proposes a new generic object recognition system based on multi-scale affineinvariant image regions. Image segments are obtained by a watershed transform of the princip...
Wei Zhang, Hongli Deng, Thomas G. Dietterich, Eric...