1002 search results - page 88 / 201 » Reasoning about Object Structures Using Ownership |
108
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
120
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
104
click to vote
ACL
2010
15 years 5 days ago
2010
Statistical translation models that try to capture the recursive structure of language have been widely adopted over the last few years. These models make use of varying amounts o...
125
Voted
ICIP
2008
IEEE
16 years 3 months ago
2008
IEEE
We present a simple multiple view 3D model for object tracking and identification in camera networks. Our model is composed of 8 distinct views in the interval 0, 7 4 . Each of th...
143
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Many practical tasks in biomedicine require accessing specific types of information in scientific literature; e.g. information about the results or conclusions of the ...