2834 search results - page 367 / 567 » Representing Trees with Constraints |
177
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
168
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an algorithm to construct a tight bounding polyhedron for a recursive procedural model. We first use an iterated function system (IFS) to represent the extent of the p...
168
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
The segmentation of time-series is a constrained clustering problem: the data points should be grouped by their similarity, but with the constraint that all points in a cluster mus...
170
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— The task scheduler of an energy harvesting wireless sensor node (WSN) must adapt the task complexity and maximize the accuracy of the tasks within the constraint of limited ene...
186
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...