Sciweavers

34 search results - page 4 / 7
» CT-NOR: Representing and Reasoning About Events in Continuou...
Sort
View
KI
2005
Springer
13 years 11 months ago
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
Marco Ragni, Stefan Wölfl
TVCG
2010
165views more  TVCG 2010»
13 years 4 months ago
A Visual Backchannel for Large-Scale Events
—We introduce the concept of a Visual Backchannel as a novel way of following and exploring online conversations about large-scale events. Microblogging communities, such as Twit...
Marian Dörk, Daniel M. Gruen, Carey Williamso...
IJCAI
1989
13 years 7 months ago
A Model for Projection and Action
In designing autonomous agents that deal competently with issues involving time and space, there is a tradeoff to be made between guaranteed response-time reactions on the one han...
Keiji Kanazawa, Thomas Dean
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 5 days ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
AAAI
2010
13 years 7 months ago
Goal-Driven Autonomy in a Navy Strategy Simulation
Modern complex games and simulations pose many challenges for an intelligent agent, including partial observability, continuous time and effects, hostile opponents, and exogenous ...
Matthew Molineaux, Matthew Klenk, David W. Aha