6306 search results - page 151 / 1262 » Space, Time, and the Use of Language |
ESOP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
DAC
2006
ACM
15 years 11 months ago
2006
ACM
Pareto surfaces in the performance space determine the range of feasible performance values for a circuit topology in a given technology. We present a non-dominated sorting based ...
146
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Managing general game playing is the problem addressed in this paper. It is considered to be done on a game description written in a declarative language. The language, which is ...
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
ALGORITHMICA
2000
14 years 10 months ago
2000
We describe a new and simple method for constructing binary space partitions in arbitrary dimensions. We also introduce the concept of uncluttered scenes, which are scenes with a ...