1912 search results - page 127 / 383 » On the evaluation of argumentation formalisms |
162
click to vote
NIPS
2007
15 years 7 months ago
2007
In transfer learning we aim to solve new problems using fewer examples using information gained from solving related problems. Transfer learning has been successful in practice, a...
157
click to vote
BNCOD
1997
15 years 7 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
181
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Recently, a wide range of applications like hurricane research, fire management, navigation systems, and transportation, to name only a few, has shown increasing interest in mana...
137
click to vote
TPHOL
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
157
click to vote
ICARCV
2006
IEEE
16 years 15 days ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...