11160 search results - page 412 / 2232 » Incompleteness in a General Setting |
226
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Database researchers have striven to improve the capability of a database in terms of both performance and functionality. We assert that the usability of a database is as importan...
146
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Although the notion of generality is central in mathematics and science, being able to identify and express general patterns and/or articulating structures is one of the main difď...
174
click to vote
FOCS
2006
IEEE
16 years 28 days ago
2006
IEEE
In this paper we introduce a new general framework for set covering problems, based on the combination of randomized rounding of the (near-)optimal solution of the Linear Programm...
162
click to vote
SMI
2005
IEEE
16 years 14 days ago
2005
IEEE
In this paper, we present a set of generalized “local” mesh operators. Local operators are those that operate on a single face without affecting the rest of the mesh. Boundary...
169
click to vote
FROCOS
2005
Springer
16 years 12 days ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...