4372 search results - page 78 / 875 » Objects for Lexical Analysis |
ICANN
2001
Springer
15 years 2 months ago
2001
Springer
In many practical engineering design problems, the form of objective function is not given explicitly in terms of design variables. Given the value of design variables, under this ...
LISP
2008
14 years 9 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
132
click to vote
ISORC
2011
IEEE
14 years 1 months ago
2011
IEEE
—Static cache analysis for data allocated on the heap is practically impossible for standard data caches. We propose a distinct object cache for heap allocated data. The cache is...
SIGDOC
2006
ACM
15 years 3 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
3DPVT
2002
IEEE
15 years 2 months ago
2002
IEEE
We seek to extract the three-dimensional motion of articulated objects by passive sensing. We first developed a multi-view system that segments objects from the background before...