1329 search results - page 257 / 266 » Constraint-based model synthesis |
101
Voted
CDC
2009
IEEE
15 years 3 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...
115
click to vote
CODES
2009
IEEE
15 years 3 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 ...
107
click to vote
APGV
2006
ACM
15 years 3 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...
102
click to vote
NSDI
2007
15 years 2 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...
115
click to vote
CLEF
2008
Springer
15 years 1 months 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...