Sciweavers

5896 search results - page 687 / 1180
» On Learning with Integral Operators
Sort
View
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 7 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
CORR
2008
Springer
96views Education» more  CORR 2008»
15 years 7 months ago
High Efficiency 3-Phase Cmos Rectifier with Step Up and Regulated
: This paper presents several design issues related to the monolithic integration of a 3-phase AC to DC low voltage, low power rectifier for 3-phase micro source electrical conditi...
J.-C. Crebier, Y. Lembeye, H. Raisigel, O. Deleage...
CVIU
2008
203views more  CVIU 2008»
15 years 7 months ago
A computer vision model for visual-object-based attention and eye movements
This paper presents a new computational framework for modelling visual-object based attention and attention-driven eye movements within an integrated system in a biologically insp...
Yaoru Sun, Robert B. Fisher, Fang Wang, Herman Mar...
RTS
2006
99views more  RTS 2006»
15 years 6 months ago
Combination of clock-state and clock-rate correction in fault-tolerant distributed systems
This paper proposes the integration of internal and external clock synchronization by a combination of a fault-tolerant distributed algorithm for clock state correction with a cent...
Hermann Kopetz, Astrit Ademaj, Alexander Hanzlik
TKDE
2008
115views more  TKDE 2008»
15 years 6 months ago
A Niching Memetic Algorithm for Simultaneous Clustering and Feature Selection
Clustering is inherently a difficult task and is made even more difficult when the selection of relevant features is also an issue. In this paper, we propose an approach for simult...
Weiguo Sheng, Xiaohui Liu, Michael C. Fairhurst