Sciweavers

5981 search results - page 365 / 1197
» time 2006
Sort
View
162
Voted
AAAI
2006
15 years 8 months ago
Reasoning about Discrete Event Sources
We investigate the modelling of workflows, plans, and other event-generating processes as discrete event sources and reason about the possibility of having event sequences ending ...
Shieu-Hong Lin
APVIS
2006
15 years 8 months ago
FindFlow: visual interface for information search based on intermediate results
FindFlow is a search interface that enables users to construct queries visually on the screen. Because the constructed queries show the process of the search, the user can take a ...
Tomoyuki Hansaki, Buntarou Shizuki, Kazuo Misue, J...
FUIN
2007
114views more  FUIN 2007»
15 years 6 months ago
Cellular Devices and Unary Languages
Devices of interconnected parallel acting sequential automata are investigated from a language theoretic point of view. Starting with the well-known result that each unary language...
Andreas Klein, Martin Kutrib
JACM
2000
86views more  JACM 2000»
15 years 6 months ago
Periodification scheme: constructing sorting networks with constant period
We consider comparator networks M that are used repeatedly: while the output produced by M is not sorted, it is fed again into M. Sorting algorithms working in this way are called ...
Miroslaw Kutylowski, Krzysztof Lorys, Brigitte Oes...
JEI
2006
82views more  JEI 2006»
15 years 6 months ago
Real-time mosaic using sequential graph
To prevent large error accumulation in multiple image registration considering real-time applications, we propose a new fast global mosaic method using sequential block matching in...
Dae Woong Kim, Ki-Sang Hong