10790 search results - page 1766 / 2158 » Using feature models to automate model transformations |
166
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
The name `graph state' is used to describe a certain class of pure quantum state which models a physical structure on which one can perform measurement-based quantum computin...
203
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
175
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—With the trend toward high-quality large form factor displays on high-end handhelds, LCD backlight accounts for a significant and increasing percentage of the total energy budg...
195
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Learning inverse kinematics has long been fascinating the robot learning community. While humans acquire this transformation to complicated tool spaces with ease, it is...
153
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Consider the problem of base-station and subcarrier assignment on the downlink of a two-cell OFDMA system with adaptive modulation. The aim is to maximize a common data...