Sciweavers

3825 search results - page 32 / 765
» The Language of Time: A Reader
Sort
View
MFCS
2007
Springer
14 years 2 months ago
Real Time Language Recognition on 2D Cellular Automata: Dealing with Non-convex Neighborhoods
In this paper we study language recognition by two-dimensional cellular automata on different possible neighborhoods. Since it is known that all complete neighborhoods are linearl...
Martin Delacourt, Victor Poupet
TAPSOFT
1997
Springer
14 years 19 days ago
The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
Danièle Beauquier, Anatol Slissenko
ICDAR
2009
IEEE
13 years 6 months ago
Real-Time Retrieval for Images of Documents in Various Languages Using a Web Camera
We propose a real-time retrieval method for document images in various languages. In this method, queries are images of documents captured by a web-camera. The document images cor...
Tomohiro Nakai, Koichi Kise, Masakazu Iwamura
ITCC
2003
IEEE
14 years 1 months ago
Timed Petri Net Representation of the Synchronized Multimedia Integration Language (SMIL) of XML
A multimedia server needs to satisfy the temporal ordering of multimedia data streams when servicing a client. Multimedia data has high bandwidth requirements, and within a networ...
Soon Myoung Chung, Anil L. Pereira
CATS
2007
13 years 10 months ago
Planning with Time Limits in BDI Agent Programming Languages
This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the mo...
Lavindra de Silva, Anthony Dekker, James Harland