14642 search results - page 54 / 2929 » It's Time for a Change |
120
Voted
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
107
Voted
WCRE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Determining who are the copyright owners of a software system is important as they are the individuals and organizations that license the software to its users, and ultimately t...
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
This thesis addresses the problem of source quality changes in Data Integration Systems. Its main goal is to propose techniques for maintaining as much as possible the satisfaction...
122
click to vote
ITS
2010
Springer
15 years 10 days ago
2010
Springer
: To make a new problem from the original one and to compare their solutions are promising activities to promote a learner to be aware of the structure of these problems. Especiall...
117
click to vote
ALT
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with the problem of making predictions in the online mode of learning where the dependence of the outcome yt on the signal xt can change with time. The Aggregating...