3614 search results - page 576 / 723 » Numerical Computing with MATLAB |
111
click to vote
AMW
2009
15 years 2 months ago
2009
Abstract. Rewriting of conjunctive queries using views has many applications in database and data integration. We investigate ways to improve performance of rewriting and propose a...
126
click to vote
BIOCOMP
2009
15 years 2 months ago
2009
The accurate computational prediction of RNA secondary structures is a difficult task, but an important one, since RNA structure is usually more evolutionarily conserved than prima...
118
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we study a particular subclass of partially observable models, called quasi-deterministic partially observable Markov decision processes (QDET-POMDPs), characterize...
127
click to vote
C3S2E
2010
ACM
15 years 2 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
117
click to vote
CATA
2009
15 years 2 months ago
2009
The invention of the Internet has ushered in advances in information era which has revolutionized the way we conduct business, advances our knowledge and promote life long learning...