5550 search results - page 594 / 1110 » Different Approaches to Proof Systems |
191
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
235
Voted
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
Structured P2P systems based on distributed hash tables are a popular choice for building large-scaled data management systems. Generally, they only support exact match queries, b...
214
click to vote
ICML
2006
IEEE
16 years 8 months ago
2006
IEEE
Mobile robots often rely upon systems that render sensor data and perceptual features into costs that can be used in a planner. The behavior that a designer wishes the planner to ...
187
click to vote
ISBI
2008
IEEE
2008
IEEE
Tomographic image reconstruction from limited-view projections with Wiener filtered focuss algorithm
16 years 8 months ago
In tomographic image reconstruction from limited-view projections the underlying inverse problem is ill-posed with the rank-deficient system matrix. The minimal-norm least squares...
187
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— In many current SoCs, the architectural interface to onchip monitors is ad hoc and inefficient. In this paper, a new architectural approach which advocates the use of a...