Sciweavers

4480 search results - page 656 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
KI
1992
Springer
15 years 10 months ago
How to Construct a Logic for Your Application
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
Dov M. Gabbay
AAAI
2007
15 years 8 months ago
Fluxplayer: A Successful General Game Player
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....
Stephan Schiffel, Michael Thielscher
VISAPP
2008
15 years 8 months ago
Towards the Estimation of Conspicuity with Visual Priors
Traffic signs are designed to be clearly seen by drivers. However a little is known about the visual influence of the traffic sign environment on how it will be perceived. Computer...
Ludovic Simon, Jean-Philippe Tarel, Roland Bremond
TARK
2007
Springer
16 years 19 days ago
Alternating-time temporal logic with explicit strategies
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
Dirk Walther, Wiebe van der Hoek, Michael Wooldrid...
TABLETOP
2006
IEEE
16 years 16 days ago
Rotation and Translation Mechanisms for Tabletop Interaction
A digital tabletop, such as the one shown in Figure 1, offers several advantages over other groupware form factors for collaborative applications. However, users of a tabletop sys...
Mark S. Hancock, M. Sheelagh T. Carpendale, Fr&eac...