1329 search results - page 257 / 266 » Constraint-based model synthesis |
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...
CODES
2009
IEEE
14 years 2 months ago
2009
IEEE
Field Programmable Gate Arrays (FPGAs) have long held the promise of allowing designers to create systems with performance levels close to custom circuits but with a softwarelike ...
APGV
2006
ACM
14 years 2 months ago
2006
ACM
Realistic image synthesis is the process of computing photorealistic images which are perceptually and measurably indistinguishable from real-world images. In order to obtain high...
NSDI
2007
14 years 1 months ago
2007
The lack of an accurate representation of the Internet topology at the Autonomous System (AS) level is a limiting factor in the design, simulation, and modeling efforts in inter-d...
CLEF
2008
Springer
14 years 19 days ago
2008
Springer
We describe the WebCLEF 2008 task. Similarly to the 2007 edition of WebCLEF, the 2008 edition implements a multilingual "information synthesis" task, where, for a given t...