64 search results - page 10 / 13 » Graph sketcher: extending illustration to quantitative graph... |
TASE
2007
IEEE
15 years 3 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
104
click to vote
SAS
2007
Springer
15 years 3 months ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
IUI
2004
ACM
15 years 3 months ago
2004
ACM
While developing the Simple Gesturing User Interface (SGUI) API for incorporating simple gestures into personal digital assistant (PDA) user interfaces, we developed an object-bas...
IV
2003
IEEE
15 years 2 months ago
2003
IEEE
In the paper, we suggest a set of visualization-based exploratory tools to support analysis and comparison of different spatial development scenarios, such as results of simulatio...
CISIS
2010
IEEE
15 years 28 days ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...