3116 search results - page 308 / 624 » Positively dependent types |
207
click to vote
COSIT
2003
Springer
16 years 20 days 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. ...
186
Voted
FMCO
2003
Springer
16 years 20 days 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]....
168
Voted
ICCS
2003
Springer
16 years 20 days 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,...
219
click to vote
ANSS
2002
IEEE
16 years 13 days 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...
232
Voted
ISPAN
2002
IEEE
16 years 11 days 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,...