1268 search results - page 96 / 254 » One Logic to Use Them All |
AI
2005
Springer
13 years 10 months ago
2005
Springer
One of the major approaches to approximation of logical theories is the upper and lower bounds approach introduced in (Selman and Kautz, 1991, 1996). In this paper, we address the...
TCAD
2008
13 years 10 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
IJACTAICIT
2010
13 years 7 months ago
2010
In this paper, we propose SiLo, a novel energy efficient shifted logging storage architecture, for write-oriented workloads. By organizing free storage space of redundant mirrored...
LREC
2008
13 years 11 months ago
2008
In this paper we discuss the design, acquisition and preprocessing of a Czech audio-visual speech corpus. The corpus is intended for training and testing of existing audio-visual ...
ICHIM
2001
13 years 11 months ago
2001
One of the five main areas identified for this conference is Technology Enabled Services for Cultural Heritage. It can be stated as fact that all information services are reliant ...