791 search results - page 97 / 159 » Characterizing zero-derivative points |
162
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
166
click to vote
CSL
2007
Springer
16 years 20 days ago
2007
Springer
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
153
click to vote
WAOA
2007
Springer
16 years 18 days ago
2007
Springer
In a buyer-supplier game, a special type of assignment game, a distinguished player, called the buyer, wishes to purchase some combinatorial structure. A set of players, called sup...
164
click to vote
FOCS
2006
IEEE
16 years 17 days ago
2006
IEEE
d abstract] Robert Krauthgamer ∗ IBM Almaden James R. Lee † Institute for Advanced Study We initiate the study of approximate algorithms on negatively curved spaces. These spa...
182
click to vote
GLOBECOM
2006
IEEE
16 years 17 days ago
2006
IEEE
— We study the downlink coverage of a base station terminal (BST), which has access to a relay node. Continuing a previous study in which the BST is assumed to provide a variable...