2125 search results - page 159 / 425 » Points with Type-2 Operations |
169
Voted
DALT
2005
Springer
15 years 9 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
120
Voted
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
Although unstructured mesh algorithms are a popular means of solving problems across a broad range of disciplines—from texture mapping to computational fluid dynamics—they ar...
108
Voted
SIGOPSE
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we argue that the best approach to providing Quality of Service (QoS) guarantees to current Internet services is to use admission control and traffic shaping techni...
145
Voted
CC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
120
click to vote
DEON
2004
Springer
15 years 9 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...