7820 search results - page 241 / 1564 » Formalization of Time and Space |
211
click to vote
PARMA
2004
15 years 8 months ago
2004
In the recent years, our ability of collecting information rapidly increases and huge databases that change over time in a high frequency have been developed. On the other hand, th...
181
click to vote
ENTCS
2006
15 years 7 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
169
click to vote
JSYML
2006
15 years 7 months ago
2006
f spaces of signs (abstract real spectra) developed in [1] [18]. We consider pp (positive primitive) formulas in the language of reduced special groups as in [20]. We denote the pp...
151
click to vote
MICS
2007
15 years 6 months ago
2007
We describe an approach to the computation of symbolic resultants in which factors are removed during the course of the calculation, so reducing the stack size required for interme...
213
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Users of modern GUIs routinely engage in visual searches for various control items, such as buttons and icons. Because this is so ubiquitous, it is important that the visual prope...