10916 search results - page 369 / 2184 » On Constructive Connectives and Systems |
197
click to vote
KES
2000
Springer
15 years 11 months ago
2000
Springer
: ActiveCube is a bi-directional user interface that supports a person's creative work through constructing and interacting with 3-D virtual objects by using actual physical c...
178
click to vote
AAAI
2007
15 years 10 months ago
2007
A new spectral approach to value function approximation has recently been proposed to automatically construct basis functions from samples. Global basis functions called proto-val...
191
click to vote
WSC
2008
15 years 10 months ago
2008
With increased levels of global trade, foreign policy making, foreign travel, and distance collaboration using the Internet, the issue of culture takes center stage. One needs to ...
204
click to vote
APAL
2010
15 years 7 months ago
2010
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...
212
click to vote
JGAA
2006
15 years 7 months ago
2006
We consider the problem of constructing a minimal cycle-breaking set of turns for a given undirected graph. This problem is important for deadlock-free wormhole routing in compute...