1042 search results - page 162 / 209 » Representing real numbers in a generalized numeration system |
117
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
134
click to vote
VISUALIZATION
1991
IEEE
15 years 4 months ago
1991
IEEE
We describe a software system, TOPO, that numerically analyzes and graphically displays topological aspects of a three dimensional vector field, v, to produce a single, relativel...
138
click to vote
SODA
2010
ACM
14 years 11 months ago
2010
ACM
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
129
click to vote
JAIR
2008
15 years 1 months ago
2008
It is well-known that acting in an individually rational manner, according to the principles of classical game theory, may lead to sub-optimal solutions in a class of problems nam...
129
click to vote
POPL
2011
ACM
14 years 4 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...