3116 search results - page 308 / 624 » Positively dependent types |
182
click to vote
COSIT
2003
Springer
15 years 12 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. ...
164
click to vote
FMCO
2003
Springer
15 years 12 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]....
154
click to vote
ICCS
2003
Springer
15 years 12 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,...
189
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...
209
Voted
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
Index is an important element in databases, and the existence of index is unavoidable. When an index has been built on a particular attribute, database operations (e.g. selection,...