2296 search results - page 192 / 460 » The Expressive Power of Synchronizations |
159
click to vote
WMTE
2006
IEEE
16 years 17 days ago
2006
IEEE
Ubiquitous computing, as a subfield of computer science, has traditionally been associated with a set of principles expressed (loosely but tellingly) with terms like transparency,...
162
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive p...
159
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
168
click to vote
TABLEAUX
1999
Springer
15 years 10 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
209
click to vote
VL
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents VIQING, an environment for expressing queries via direct manipulation of data visualizations. VIQING provides a simple graphical interface for connecting visua...