2385 search results - page 219 / 477 » Knowledge Refinement for a Design System |
135
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
148
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Online storage systems that provide versatile and convenient platforms for content distribution have attracted significant attention over the Internet. To guarantee adequate le...
135
click to vote
DEEC
2005
IEEE
15 years 9 months ago
2005
IEEE
A base of clearly defined product information is a key foundation for an e-commerce system. The manipulation and exchange of semantically enriched and precise product information ...
280
click to vote
RTAS
2011
IEEE
14 years 7 months ago
2011
IEEE
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...
130
Voted
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
Most information retrieval technologies are designed to facilitate information discovery. However, much knowledge work involves finding and re-using previously seen information. W...