4584 search results - page 565 / 917 » interact 2007 |
178
click to vote
FROCOS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
170
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
Previous research has shown that Alphasliders are an effective tool for searching an alphabetically sorted list when only limited screen space is available for the graphical user ...
141
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The purpose of this paper is to present an initial delineation of the inherent components required for unmanned vehicles to possess situation awareness. A broadly adapted human ...
185
click to vote
DSOM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Experiences with the management of Grid specific monitoring and accounting data have shown that current approaches do not sufficiently support a distinction between prov...
173
click to vote
SGP
2004
15 years 9 months ago
2004
We present a method for parameterizing irregularly triangulated input models over polyhedral domains with quadrilateral faces. A combination of center-based clustering techniques ...