2385 search results - page 188 / 477 » Knowledge Refinement for a Design System |
136
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
134
click to vote
EUSFLAT
2001
15 years 5 months ago
2001
When a whole knowledge base must be derived for a fuzzy rule-based system, learning methods usually address this task with two or more sequential stages by separately designing ea...
253
click to vote
SIGMOD
2008
ACM
17 years 3 months ago
2008
ACM
Virtual machine monitors are becoming popular tools for the deployment of database management systems and other enterprise software applications. In this paper, we consider a commo...
150
click to vote
WMCSA
2009
IEEE
15 years 11 months ago
2009
IEEE
Technology offers the potential to objectively monitor people‘s eating and activity behaviors and encourage healthier lifestyles. BALANCE is a mobile phone-based system for long...
142
click to vote
BTW
2005
Springer
15 years 10 months ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...