14190 search results - page 381 / 2838 » Abstractions for hybrid systems |
136
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
We present a method for automatically rendering pen-and-ink illustrations of trees. A given 3-d tree model is illustrated by the tree and a visual representation of the foliage us...
167
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
185
click to vote
DATE
2006
IEEE
16 years 29 days ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
159
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
Most question answering (QA) and information retrieval (IR) systems are insensitive to different users' needs and preferences, and also to the existence of multiple, complex ...
168
click to vote
IJCSA
2006
15 years 6 months ago
2006
The hybrid system of personalized product recommendation in e-commerce, by integrating various methods, was presented in the paper. Each e-commerce user has assigned their own wei...