3828 search results - page 651 / 766 » Proof-Based System Engineering Using a Virtual System Model |
129
click to vote
RIAO
2007
15 years 3 months ago
2007
Information Retrieval (IR) systems are built with different goals in mind. Some IR systems target high precision that is to have more relevant documents on the first page of their...
157
Voted
SIAMSC
2011
14 years 9 months ago
2011
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...
129
click to vote
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
We address the problem of making online, parallel query plans fault-tolerant: i.e., provide intra-query fault-tolerance without blocking. We develop an approach that not only achi...
137
click to vote
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
128
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
We are interested in engineering smart machines that enable backtracking of emergent behaviors. Our SSNNS simulator consists of hand-picked tools to explore spiking neural network...