1995 search results - page 57 / 399 » What's the Problem |
115
Voted
SYNTHESE
2008
15 years 3 months ago
2008
We present a number of, somewhat unusual, ways of describing what Craig's interpolation theorem achieves, and use them to identify some open problems and further directions. K...
107
Voted
FOIS
2008
15 years 5 months ago
2008
Effect axioms constitute the cornerstone of formal theories of action in AI. They drive standard reasoning tasks, especially prediction. These tasks need not be coupled with actual...
108
Voted
ASE
2007
15 years 3 months ago
2007
This paper surveys a selection of personal research projects which addressed problems related to Software Engineering, and whose solution was inspired by ideas from the field of K...
141
Voted
EUROMICRO
2007
IEEE
15 years 7 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
166
Voted
EDBT
2011
ACM
14 years 7 months ago
2011
ACM
Data integration systems offer users a uniform interface to a set of data sources. Previous work has typically assumed that the data sources are independent of each other; however...