Sciweavers

5243 search results - page 901 / 1049
» Reasoning About Strategies
Sort
View
BMCBI
2006
143views more  BMCBI 2006»
15 years 6 months ago
Discovering functional gene expression patterns in the metabolic network of Escherichia coli with wavelets transforms
Background: Microarray technology produces gene expression data on a genomic scale for an endless variety of organisms and conditions. However, this vast amount of information nee...
Rainer König, Gunnar Schramm, Marcus Oswald, ...
JAIR
2006
90views more  JAIR 2006»
15 years 6 months ago
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4
In a field of research about general reasoning mechanisms, it is essential to have appropriate benchmarks. Ideally, the benchmarks should reflect possible applications of the deve...
Jörg Hoffmann, Stefan Edelkamp, Sylvie Thi&ea...
CSL
2007
Springer
15 years 6 months ago
Soft indexing of speech content for search in spoken documents
The paper presents the Position Specific Posterior Lattice (PSPL), a novel lossy representation of automatic speech recognition lattices that naturally lends itself to efficient ...
Ciprian Chelba, Jorge Silva, Alex Acero
SIGMETRICS
2008
ACM
119views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Network externalities and the deployment of security features and protocols in the internet
Getting new security features and protocols to be widely adopted and deployed in the Internet has been a continuing challenge. There are several reasons for this, in particular ec...
Marc Lelarge, Jean Bolot
CORR
2002
Springer
131views Education» more  CORR 2002»
15 years 6 months ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann