2312 search results - page 119 / 463 » An algorithmic approach to knowledge evolution |
143
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
One of the major approaches to approximation of logical theories is the upper and lower bounds approach introduced in (Selman and Kautz, 1991, 1996). In this paper, we address the...
176
click to vote
TABLEAUX
2007
Springer
16 years 15 days ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
177
click to vote
AIPR
2005
IEEE
16 years 1 days ago
2005
IEEE
Diffuse Optical Tomography (DOT) poses a typical illposed inverse problem with limited number of measurements and inherently low spatial resolution. In this paper, we propose a hi...
167
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Computationally identifying transcription factor binding sites in the promoter regions of genes is an important problem in computational biology and has been under intensive resea...
149
click to vote
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...