Sciweavers

9888 search results - page 1714 / 1978
» Active Algorithm Selection
Sort
View
AISC
2008
Springer
15 years 1 months ago
Notations for Living Mathematical Documents
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
Michael Kohlhase, Christine Müller, Florian R...
ASPDAC
2008
ACM
93views Hardware» more  ASPDAC 2008»
15 years 1 months ago
Scheduling with integer time budgeting for low-power optimization
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
Wei Jiang, Zhiru Zhang, Miodrag Potkonjak, Jason C...
ASPDAC
2008
ACM
88views Hardware» more  ASPDAC 2008»
15 years 1 months ago
REWIRED - Register Write Inhibition by Resource Dedication
We propose REWIRED (REgister Write Inhibition by REsource Dedication), a technique for reducing power during high level synthesis (HLS) by selectively inhibiting the storage of fun...
Pushkar Tripathi, Rohan Jain, Srikanth Kurra, Pree...
ATAL
2008
Springer
15 years 1 months ago
So tell me what happened: turning agent-based interactive drama into comics
As virtual characters become more autonomous, their use in interactive drama is growing. By creating interesting and well authored personalities, these characters are able to inte...
Tiago Alves, Ana Simões, Rui Figueiredo, Ma...
BIOID
2008
157views Biometrics» more  BIOID 2008»
15 years 1 months ago
Modeling Marginal Distributions of Gabor Coefficients: Application to Biometric Template Reduction
Abstract. Gabor filters have demonstrated their effectiveness in automatic face recognition. However, one drawback of Gabor-based face representations is the huge amount of data th...
Daniel González-Jiménez, José...
« Prev « First page 1714 / 1978 Last » Next »