4047 search results - page 532 / 810 » Some Properties and Some Problems on Set Functors |
163
click to vote
ATAL
2004
Springer
16 years 3 hour ago
2004
Springer
The missing of an appropriate semantics of agent communication languages is one of the most challenging issues of contemporary AI. Although several approaches to this problem exis...
139
click to vote
ARITH
2003
IEEE
15 years 12 months ago
2003
IEEE
SRT division, as it was discovered in the late 1950s represented an important improvement in the speed of division algorithms for computers at the time. A variant of SRT division ...
169
click to vote
IICS
2003
Springer
15 years 11 months ago
2003
Springer
Both human users and crawlers face the problem of finding good start pages to explore some topic. We show how to assist in qualifying pages as start nodes by link-based ranking al...
179
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
150
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...