20441 search results - page 430 / 4089 » Locally Computable Structures |
168
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The frameworks for protecting security and privacy can be effective only if common users--with no training in computer science or logic--increase their awareness and cont...
194
click to vote
IMAMS
2007
15 years 8 months ago
2007
In this paper, we consider the problem of analysing the shape of an object defined by polynomial equations in a domain. We describe regularity criteria which allow us to determine...
165
click to vote
NIPS
2008
15 years 8 months ago
2008
Continuously-Adaptive Discretization for Message-Passing (CAD-MP) is a new message-passing algorithm for approximate inference. Most message-passing algorithms approximate continu...
199
click to vote
VMV
2000
15 years 8 months ago
2000
Subdivision schemes are commonly used to obtain dense or smooth data representations from sparse discrete data. E. g., B-splines are smooth curves or surfaces that can be construc...
128
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we describe how we can precisely produce complex and various dynamic morphological features such as structured and chaotic features which occur in sand pilings (pil...