3005 search results - page 100 / 601 » Logical Information Systems: from Taxonomies to Logics |
157
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
174
click to vote
ICDAR
1995
IEEE
15 years 10 months ago
1995
IEEE
A system for the acquisition, storage, indexing, and retrieval of map images is presented. The input to this system are raster images of separate map layers and map composites. A ...
155
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
175
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In modern automatic speech recognition systems, it is standard practice to cluster several logical hidden Markov model states into one physical, clustered state. Typically, the cl...
146
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...