7393 search results - page 514 / 1479 » Synthesis-for-testability using transformations |
175
click to vote
FDL
2005
IEEE
16 years 12 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
157
click to vote
SIGITE
2005
ACM
16 years 11 days ago
2005
ACM
Educators have long been trying to spice things up in their introductory programming courses. Traditionally, twodimensional arrays have been taught non-graphically using contrived...
170
Voted
ACIVS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Even if lots of object invariant descriptors have been proposed in the literature, putting them into practice in order to obtain a robust system face to several perturbat...
170
click to vote
CAISE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Recently, the database and AI research communities have paid increased attention to ontologies. The main motivating reason is that ontologies promise solutions for comple...
171
Voted
ECML
2005
Springer
16 years 10 days ago
2005
Springer
We present a method for transferring knowledge learned in one task to a related task. Our problem solvers employ reinforcement learning to acquire a model for one task. We then tra...