4047 search results - page 532 / 810 » Some Properties and Some Problems on Set Functors |
181
click to vote
ATAL
2004
Springer
16 years 21 days 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...
153
click to vote
ARITH
2003
IEEE
16 years 18 days 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 ...
184
click to vote
IICS
2003
Springer
16 years 15 days 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...
199
click to vote
IPPS
2002
IEEE
16 years 6 days 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...
168
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...