2308 search results - page 34 / 462 » Representing Symbolic Reasoning |
164
click to vote
CA
2002
IEEE
15 years 10 months ago
2002
IEEE
The last few years have seen great maturation in understanding how to use computer graphics technology to portray 3D embodied characters or virtual humans. Unlike the off-line, an...
137
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Although primarily studied in the context of product lines, variability is a key fact about most systems and therefore a concern for the architectures of those systems. Thus it is...
145
click to vote
PPOPP
2003
ACM
15 years 10 months ago
2003
ACM
Collecting a program’s execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution pro...
185
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
149
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...