Sciweavers

12373 search results - page 2295 / 2475
» Semi-Logarithmic Number Systems
Sort
View
116
Voted
IWMM
2000
Springer
137views Hardware» more  IWMM 2000»
15 years 7 months ago
Cycles to Recycle: Garbage Collection on the IA-64
The IA-64, Intel's 64-bit instruction set architecture, exhibits a number of interesting architectural features. Here we consider those features as they relate to supporting ...
Richard L. Hudson, J. Eliot B. Moss, Sreenivas Sub...
KES
2000
Springer
15 years 7 months ago
Multi-view face detection using support vector machines and eigenspace modelling
An approach to multi-view face detection based on head pose estimation is presented in this paper. Support Vector Regression is employed to solve the problem of pose estimation. T...
Yongmin Li, Shaogang Gong, Jamie Sherrah, Heather ...
133
Voted
PATAT
2000
Springer
89views Education» more  PATAT 2000»
15 years 7 months ago
A Language for Specifying Complete Timetabling Problems
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a given period of time, satisfying a set of different constraints. There are a nu...
Luís Paulo Reis, Eugenio Oliveira
115
Voted
SAS
2000
Springer
15 years 7 months ago
A Transformational Approach for Generating Non-linear Invariants
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
Saddek Bensalem, Marius Bozga, Jean-Claude Fernand...
127
Voted
DAC
1995
ACM
15 years 7 months ago
A Transformation-Based Approach for Storage Optimization
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
Wei-Kai Cheng, Youn-Long Lin
« Prev « First page 2295 / 2475 Last » Next »