1809 search results - page 45 / 362 » Weakly Computable Real Numbers |
COR
2004
13 years 9 months ago
2004
The strike force asset allocation problem consists of grouping strike force assets into packages and assigning these packages to targets and defensive assets in a way that maximiz...
ICPADS
2002
IEEE
14 years 2 months ago
2002
IEEE
Object caching is often used to improve the performance of mobile applications, but the gain is often lessened by the additional load of maintaining consistency between an origina...
TPHOL
2006
IEEE
14 years 3 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
DAC
1999
ACM
14 years 10 months ago
1999
ACM
A number of researchers have proposed using digital marks to provide ownership identification for intellectual property. Many of these techniques share three specific weaknesses: ...
CAPTECH
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper presents a new technique for computing collisionfree navigation motions from task-level commands for animated human characters in interactive virtual environme...