3381 search results - page 159 / 677 » Extending Dependencies with Conditions |
176
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer's logic PF by enriching the type system of the logic with subset ty...
130
click to vote
JUCS
2008
15 years 6 months ago
2008
: Development of e-services in the CE (Central European) countries depends on a number of factors which can result in overcoming or extending digital divide between the "new&q...
204
click to vote
JMLR
2010
15 years 4 months ago
2010
We extend the well-known BFGS quasi-Newton method and its memory-limited variant LBFGS to the optimization of nonsmooth convex objectives. This is done in a rigorous fashion by ge...
163
click to vote
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
163
click to vote
NIPS
2004
15 years 7 months ago
2004
Semantic taxonomies such as WordNet provide a rich source of knowledge for natural language processing applications, but are expensive to build, maintain, and extend. Motivated by...