1585 search results - page 233 / 317 » A framework for computer-aided validation |
146
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Step caches are caches in which data entered to an cache array is kept valid only until the end of ongoing step of execution. Together with an advanced pipelined multithreaded arc...
141
click to vote
IRI
2006
IEEE
15 years 9 months ago
2006
IEEE
1 In many of today’s industry, knowledge is considered a strategic tool; however, knowledge is involved in so many services with so many facets that it is very complex to effecti...
140
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
- We propose a novel framework for imitation learning that helps a humanoid robot achieve its goal of learning. There are apparent discrepancies in shapes and sizes among humans an...
130
click to vote
ADBIS
2006
Springer
15 years 9 months ago
2006
Springer
materialized view selection is a non-trivial task. Hence, its complexity must be reduced. A judicious choice of views must be costdriven and influenced by the workload experienced...
104
click to vote
WIKIS
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we propose a new wiki concept — light constraints — designed to encode community best practices and domain-specific requirements, and to assist in their applica...