750 search results - page 95 / 150 » Using codesign techniques to support analog functionality |
106
click to vote
JMLR
2002
15 years 1 months ago
2002
We extend the classical algorithms of Valiant and Haussler for learning compact conjunctions and disjunctions of Boolean attributes to allow features that are constructed from the...
96
Voted
CORR
2010
Springer
15 years 9 days ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
111
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
1 The first path implicit and exact non–robust path delay fault grading technique for non–scan sequential circuits is presented. Non enumerative exact coverage is obtained, b...
105
click to vote
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the ...
123
Voted
RE
2001
Springer
15 years 6 months ago
2001
Springer
Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...