2125 search results - page 159 / 425 » Points with Type-2 Operations |
212
click to vote
DALT
2005
Springer
16 years 22 hour 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...
156
click to vote
ICS
2005
Tsinghua U.
16 years 2 hour 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...
143
click to vote
SIGOPSE
2004
ACM
15 years 12 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...
182
click to vote
CC
2004
Springer
15 years 12 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) ...
159
click to vote
DEON
2004
Springer
15 years 12 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...