1179 search results - page 197 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
172
click to vote
JDCTA
2010
14 years 11 months ago
2010
The paper presents an algorithm which combining a neural network observer, it give more flexible and accurate control on the engine operation. In recent year, several researchers ...
178
click to vote
PVLDB
2008
15 years 3 months ago
2008
With the rise of XML, the database community has been challenged by semi-structured data processing. Since the data type behind XML is the tree, state-of-the-art RDBMSs have learn...
146
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
158
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
Advances in wireless communication, storage and processing are realizing next-generation in-vehicle entertainment systems. Even if hundreds of different video or audio titles are...
150
click to vote
CIDR
2003
15 years 5 months ago
2003
Web cache technologies have been developed as an extension of CPU cache, by modifying LRU (Least Recently Used) algorithms. Actually in web cache systems, we can use disks and ter...