3775 search results - page 233 / 755 » The Expression Problem Revisited |
192
click to vote
CI
2000
15 years 4 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
137
click to vote
KDD
2005
ACM
16 years 5 months ago
2005
ACM
Joint mining of multiple data sets can often discover interesting, novel, and reliable patterns which cannot be obtained solely from any single source. For example, in cross-marke...
124
Voted
CADE
2006
Springer
16 years 5 months ago
2006
Springer
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as probl...
126
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper presents a strategy for the systematic development of dynamic web applications. The proposal extends an existing OO software production method introducing navi...
148
Voted
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...