Sciweavers

3719 search results - page 148 / 744
» RACER System Description
Sort
View
IACR
2011
124views more  IACR 2011»
14 years 6 months ago
Group Law Computations on Jacobians of Hyperelliptic Curves
We derive an explicit method of computing the composition step in Cantor’s algorithm for group operations on Jacobians of hyperelliptic curves. Our technique is inspired by the g...
Craig Costello, Kristin Lauter
AAAI
2012
13 years 8 months ago
HyperPlay: A Solution to General Game Playing with Imperfect Information
General Game Playing is the design of AI systems able to understand the rules of new games and to use such descriptions to play those games effectively. Games with imperfect infor...
Michael John Schofield, Timothy Joseph Cerexhe, Mi...
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
15 years 11 months ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
AAAI
1994
15 years 7 months ago
A Qualitative Physics Compiler
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
Adam Farquhar
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
15 years 1 months ago
Closed-loop optimal experiment design: The partial correlation approach
Abstract-- We consider optimal experiment design for parametric prediction error system identification of linear timeinvariant systems in closed loop. The optimisation is performed...
Roland Hildebrand, Michel Gevers, Gabriel Solari