5414 search results - page 974 / 1083 » Data representation synthesis |
125
Voted
ENTCS
2006
15 years 3 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
113
Voted
FS
2006
15 years 3 months ago
2006
Fads models were introduced by Shiller (1984) and Summers (1986) as plausible alternatives to the efficient markets/constant expected returns assumptions. Under these models, loga...
112
Voted
IJOE
2008
15 years 3 months ago
2008
For experiments to be reproducible, it is important to have a known and controlled environment. This requires isolation from the surroundings. For security experiments, e.g. with h...
162
click to vote
CG
2007
Springer
15 years 3 months ago
2007
Springer
Tasks in visual analytics differ from typical information retrieval tasks in fundamental ways. A critical part of a visual analytics is to ask the right questions when dealing wit...
163
click to vote
CGF
2007
15 years 3 months ago
2007
Recently, several real-time soft shadow algorithms have been introduced which all compute a single shadow map and use its texels to obtain a discrete scene representation. The res...