Sciweavers

128 search results - page 4 / 26
» da 2006
Sort
View
DLT
2006
13 years 9 months ago
Polynomials, Fragments of Temporal Logic and the Variety DA over Traces
Abstract. We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To th...
Manfred Kufleitner
JODL
2006
68views more  JODL 2006»
13 years 7 months ago
A digital library framework for biodiversity information systems
Ricardo da Silva Torres, Claudia Bauzer Medeiros, ...
PRL
2002
110views more  PRL 2002»
13 years 7 months ago
Flame recognition in video
Walter Phillips III, Mubarak Shah, Niels da Vitori...
JDI
2010
57views more  JDI 2010»
13 years 6 months ago
Interactive Modeling and Evaluation of Tumor Growth
Jacob Scharcanski, Luciano Silva da Silva, David K...