3381 search results - page 347 / 677 » Extending Dependencies with Conditions |
204
click to vote
TYPES
2004
Springer
16 years 25 days ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
182
click to vote
IAT
2003
IEEE
16 years 24 days ago
2003
IEEE
We discuss a rigorous unifying framework for both planning and replanning, extending an existing logic-based approach to resource-based planning. The primitive concepts in this Ac...
218
click to vote
ISQED
2003
IEEE
16 years 23 days ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
192
click to vote
EUROCAST
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. This paper presents a filtering technique for regularizing tensor fields. We use a nonlinear filtering technique termed normalized convolution [Knutsson and Westin 199...
194
click to vote
INFOCOM
2002
IEEE
16 years 13 days ago
2002
IEEE
The focus of this paper is to extend the lifetime of a battery powered node in wireless context. The lifetime of a battery depends on both the manner of discharge and the transmis...