722 search results - page 45 / 145 » A New Framework for Computer Science and Engineering |
127
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
ions Sriram Krishnamoorthy½ Umit Catalyurek¾ Jarek Nieplocha¿ Atanas Rountev½ P. Sadayappan½ ½ Dept. of Computer Science and Engineering, ¾ Dept. of Biomedical Informatics T...
147
click to vote
CCA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
107
Voted
RTA
2010
Springer
15 years 5 months ago
2010
Springer
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...
105
Voted
MIDDLEWARE
2005
Springer
15 years 7 months ago
2005
Springer
We present WildCAT, an extensible Java framework to ease the creation of context-aware applications. WildCAT provides a simple yet powerful dynamic model to represent an applicati...
103
Voted
FOCS
2006
IEEE
15 years 7 months 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...