Sciweavers

9604 search results - page 181 / 1921
» The Duality of TIme and Information
Sort
View
SPIRE
2004
Springer
15 years 12 months ago
Linear Time Algorithm for the Longest Common Repeat Problem
Given a set of strings U = {T1, T2, . . . , T }, the longest common repeat problem is to find the longest common substring that appears at least twice in each string of U. We als...
Inbok Lee, Costas S. Iliopoulos, Kunsoo Park
DEXA
2003
Springer
146views Database» more  DEXA 2003»
15 years 11 months ago
An Access Time Cost Model for Spatial Range Queries on Broadcast Geographical Data over Air
Wireless data broadcasting is well known for its excellent scalability. Most geographical data, such as weather and traffic, is public information and has a large number of potenti...
Jianting Zhang, Le Gruenwald
FASE
2001
Springer
15 years 11 months ago
A Real-Time Execution Semantics for UML Activity Diagrams
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
Rik Eshuis, Roel Wieringa
ATVA
2006
Springer
75views Hardware» more  ATVA 2006»
15 years 10 months ago
Symbolic Unfoldings for Networks of Timed Automata
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
Franck Cassez, Thomas Chatain, Claude Jard
AIIDE
2007
15 years 9 months ago
SORTS: A Human-Level Approach to Real-Time Strategy AI
We developed knowledge-rich agents to play real-time strategy games by interfacing the ORTS game engine to the Soar cognitive architecture. The middleware we developed supports gr...
Samuel Wintermute, Joseph Xu, John E. Laird