1999 search results - page 220 / 400 » Dependently Typed Grammars |
182
click to vote
COSIT
2003
Springer
15 years 11 months ago
2003
Springer
The discovery of services that are appropriate for answering a given question is a crucial task in the open and distributed environment of web services for geographic information. ...
168
click to vote
ECML
2003
Springer
15 years 11 months ago
2003
Springer
In traditional multi-instance (MI) learning, a single positive instance in a bag produces a positive class label. Hence, the learner knows how the bag’s class label depends on th...
156
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
151
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
186
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Clusters of workstations have emerged as a costeffective solution to high performance computing problem. To take advantage of any opportunities, however, effective scheduling tech...