395 search results - page 18 / 79 » Degrees of Weakly Computable Reals |
ANTS
2010
Springer
14 years 4 days ago
2010
Springer
We extend methods of Greenberg and the author to compute in the cohomology of a Shimura curve defined over a totally real field with arbitrary class number. Via the Jacquet-Langlan...
PTS
2010
13 years 7 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
ICCV
1999
IEEE
14 years 10 months ago
1999
IEEE
In this paper, we present a procedure for organizing real world scenes along semantic axes. The approach is based on the output energies of linear discriminant filters that take i...
EMSOFT
2003
Springer
2003
Springer
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
14 years 2 months ago
Embedded systems have become prevalent in today’s computing world and more and more of these embedded systems are highly distributed and network centric. This adds increasing deg...
TPDS
1998
13 years 8 months ago
1998
—Many time-critical applications require predictable performance and tasks in these applications have deadlines to be met. In this paper, we propose an efficient algorithm for no...