2596 search results - page 500 / 520 » Gradual Typing for Objects |
ECAI
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Searle represents constitutive norms as count-as conditionals, written as `X counts as Y in context C'. Grossi et al. study a class of these conditionals as `in cont...
ICDCS
2010
IEEE
14 years 11 months ago
2010
IEEE
Continuously monitoring the link performance is important to network diagnosis. Recently, active probes sent between end systems are widely used to monitor the link performance. I...
IE
2007
14 years 11 months ago
2007
This paper describes the rationale and subsequent development stages of a work in progress: a graffiti toolkit for rich spatial 3D environments and an actual world mnemonic collec...
LREC
2010
14 years 11 months ago
2010
This paper presents the rationale, objectives and advances of an on-going project (the DesPho-APaDy project funded by the French National Agency of Research) which aims to provide...
136
click to vote
MEDIAFORENSICS
2010
14 years 11 months ago
2010
Content-aware resizing methods have recently been developed, among which, seam-carving has achieved the most widespread use. Seam-carving's versatility enables deliberate obj...