519 search results - page 65 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
IDA
2010
Springer
13 years 9 months ago
2010
Springer
This paper introduces a novel method for obtaining increased predictive performance from transparent models in situations where production input vectors are available when building...
COR
2007
13 years 7 months ago
2007
An NP-hard production–distribution problem for one product over a multi-period horizon is investigated. The aim is to minimize total cost taking production setups, inventory lev...
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
GLVLSI
2005
IEEE
14 years 1 months ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
By embedding sensors in mobile devices, it is possible to exploit the ubiquitous presence of these devices to construct applications for large-scale sensing and monitoring of envi...