4325 search results - page 834 / 865 » Incremental computation with names |
PODS
1989
ACM
15 years 2 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
92
Voted
ACMICEC
2007
ACM
15 years 2 months ago
2007
ACM
We investigate asymptotically optimal keyword auctions, that is, auctions which maximize revenue as the number of bidders grows. We do so under two alternative behavioral assumpti...
85
Voted
ACSAC
2007
IEEE
15 years 2 months ago
2007
IEEE
The early 1980s saw the development of some rather sophisticated distributed systems. These were not merely networked file systems: rather, using remote procedure calls, hierarchi...
ASSETS
2007
ACM
15 years 2 months ago
2007
ACM
The MobileASL project aims to increase accessibility by enabling Deaf people to communicate over video cell phones in their native language, American Sign Language (ASL). Real-tim...
81
Voted
CICLING
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Automated language identification of written text is a wellestablished research domain that has received considerable attention in the past. By now, efficient and effecti...