5634 search results - page 491 / 1127 » About Abstract Classes |
170
click to vote
FMOODS
2008
15 years 8 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
196
click to vote
IPCO
2008
15 years 8 months ago
2008
Abstract. Determining the integrality gap of the bidirected cut relaxation for the metric Steiner tree problem, and exploiting it algorithmically, is a long-standing open problem. ...
175
click to vote
AAAI
2004
15 years 8 months ago
2004
Abstract-- Learning by imitation and learning from demonstration have received considerable attention in robotics. However, very little research has been in the direction of provid...
160
click to vote
DELFI
2004
15 years 8 months ago
2004
Abstract. This tutorial describes the rationale for and use of an ontology for extensive semantic interrelation of documents to increase "sustainable development", i.e. c...
139
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...