29172 search results - page 269 / 5835 » Modeling Systems in CLP |
195
click to vote
SIGSAND
2008
15 years 8 months ago
2008
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...
179
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
184
click to vote
CJ
2004
15 years 6 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
149
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
For motion imaging the perceived smoothness of a sequence highly depends on motion blur. The exposure for each frame is started and ended with a shutter mechanism. There are diffe...
268
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...