1768 search results - page 281 / 354 » A Logic for Algebraic Effects |
163
Voted
JZUSC
2010
15 years 4 months ago
2010
: A DP curve is a new kind of parametric curve defined by Delgado and Peña (2003); it has very good properties when used in both geometry and algebra, i.e., it is shape preserving...
181
click to vote
TASE
2010
IEEE
15 years 23 days ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
170
click to vote
IJCAI
2003
15 years 7 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...
140
click to vote
ICIP
1999
IEEE
16 years 7 months ago
1999
IEEE
The Median-Rational Hybrid Filter (MRHF) has been recently introduced [1][2] as a new class of nonlinear filters and successfully applied to image filtering problems. The main cha...
162
click to vote
ICNP
2009
IEEE
16 years 21 days ago
2009
IEEE
—With advances in energy harvesting techniques, it is now feasible to build sustainable sensor networks (SSN) to support long-term applications. Unlike battery-powered sensor net...