20126 search results - page 3625 / 4026 » Timed Transition Systems |
178
click to vote
IJCAI
2003
15 years 8 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
180
click to vote
IJCAI
2003
15 years 8 months ago
2003
A computational cognitive model of Web navigation is a working computer system that simulates human users searching for items in a Web site. A fully working model must automate asp...
188
click to vote
IJCAI
2003
15 years 8 months ago
2003
Multi-level spatial aggregates are important for data mining in a variety of scientific and engineering applications, from analysis of weather data (aggregating temperature and p...
183
click to vote
SSWMC
2004
15 years 8 months ago
2004
This paper deals with the problem of synchronization in the particular case of audio data hiding. In this kind of application the goal is to increase the information of an audio d...
236
click to vote
IKE
2003
15 years 8 months ago
2003
Inverted files are widely used to index documents in large-scale information retrieval systems. An inverted file consists of posting lists, which can be stored in either a documen...