6800 search results - page 994 / 1360 » Testing with Functions as Specifications |
196
click to vote
DEXAW
2006
IEEE
15 years 8 months ago
2006
IEEE
The availability of a direct pathway from a primary sequence (denovo or DNA derived) to macromolecular structure to biological function using computer-based tools is the ultimate ...
197
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we discuss an efficient design flow from Matlab® to FPGA. Employing Matlab for algorithm research and as system level language allows efficient transition from algo...
182
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
We study the properties of the agnostic learning framework of Haussler [Hau92] and Kearns, Schapire and Sellie [KSS94]. In particular, we address the question: is there any situat...
175
click to vote
DLS
2008
15 years 8 months ago
2008
Predicate dispatching is a generalized form of dynamic dispatch, which has strong limitations when arbitrary predicates of the underlying base language are used. Unlike classes, w...
169
click to vote
DRM
2008
Springer
15 years 8 months ago
2008
Springer
Defining Digital Rights Management (DRM) is a complex task. There is no unique universal definition. There are many legal, economic, functional, and technical definitions. This co...