8766 search results - page 1578 / 1754 » Functional logic programming |
137
click to vote
MEMOCODE
2010
IEEE
15 years 28 days ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
184
click to vote
SENSYS
2010
ACM
15 years 27 days ago
2010
ACM
Enix is a lightweight dynamic operating system for tightly constrained platforms for wireless sensor networks (WSN). Enix provides a cooperative threading model, which is applicab...
159
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
178
click to vote
TSE
2011
14 years 10 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
128
click to vote
TVCG
2012
13 years 5 months ago
2012
—The rapid growth of motion capture data increases the importance of motion retrieval. The majority of the existing motion retrieval approaches are based on a labor-intensive ste...