17983 search results - page 138 / 3597 » Set Types and Applications |
154
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
248
click to vote
CN
2008
15 years 6 months ago
2008
Abstract--Ethernet, wireless LAN, ADSL, cable modem and dialup are common access networks, but have dramatically different characteristics. Fast and accurate classification of acce...
160
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we propose an iterative similarity propagation approach to explore the inter-relationships between Web images and their textual annotations for image retrieval. By ...
149
click to vote
IADIS
2004
15 years 7 months ago
2004
Internet has changed many aspects of our society, transforming it in e-society, and is having special importance in business world, Internet has converted business in e-business. ...
265
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...