1027 search results - page 139 / 206 » Language Support for Connector Abstractions |
160
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
136
click to vote
IFL
2003
Springer
15 years 10 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
127
click to vote
ISCIS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the iss...
131
click to vote
ISMIS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the iss...
149
click to vote
AISC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...