981 search results - page 150 / 197 » Symbolic pointer analysis |
DAS
2008
Springer
13 years 10 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
133
click to vote
Book
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
DCC
2006
IEEE
14 years 8 months ago
2006
IEEE
We consider the problem of compressibility of protein sequences. Based on an observed genome-scale long-range correlation in concatenated protein sequences from different organism...
QI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...
AVSS
2008
IEEE
14 years 3 months ago
2008
IEEE
We propose a video event analysis framework based on object segmentation and tracking, combined with a Hidden Semi-Markov Model (HSMM) that uses state occupancy duration modeling....