31387 search results - page 467 / 6278 » Abstracts |
202
click to vote
JSS
2006
15 years 7 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
174
click to vote
COGSCI
2004
15 years 7 months ago
2004
People spontaneously discover new representations during problem solving. Discovery of a mathematical representation is of special interest, because it shows that the underlying s...
241
click to vote
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
264
click to vote
CGF
2010
15 years 4 months ago
2010
This paper attempts to explain the mechanics of writing a research paper in visualization. This serves as a useful starting point for those who have never written a research paper...
235
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...