3381 search results - page 347 / 677 » Extending Dependencies with Conditions |
186
click to vote
TYPES
2004
Springer
16 years 5 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...
164
click to vote
IAT
2003
IEEE
16 years 3 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...
193
click to vote
ISQED
2003
IEEE
16 years 2 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...
173
click to vote
EUROCAST
2003
Springer
16 years 1 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...
174
click to vote
INFOCOM
2002
IEEE
15 years 11 months 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...