209 search results - page 18 / 42 » Logic and refinement for charts |
CADE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
TVCG
2010
14 years 8 months ago
2010
—It remains challenging for information visualization novices to rapidly construct visualizations during exploratory data analysis. We conducted an exploratory laboratory study i...
WSC
1998
14 years 11 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...
83
Voted
ACL
1993
14 years 11 months ago
1993
We present an implemented unification-based parser for relational grammars developed within the stratified feature grammar (SFG) framework, which generalizes Kasper-Rounds logic t...