Sciweavers

360 search results - page 54 / 72
» The Origins of the Translator's Workstation
Sort
View
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
14 years 14 days ago
Kinetic perturbations as robustness analysis tool for biochemical reaction networks
— Models of biochemical reaction networks can be decomposed into a stoichiometric part and a kinetic part. The stoichiometric part describes the structural mass flows while the ...
Steffen Waldherr, Frank Allgöwer, Elling W. J...
ICIAR
2009
Springer
14 years 10 days ago
VizDraw: A Platform to Convert Online Hand-Drawn Graphics into Computer Graphics
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
Akshaya Kumar Mishra, Justin A. Eichel, Paul W. Fi...
ECAI
2000
Springer
14 years 2 days ago
Logic Programs with Compiled Preferences
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
James P. Delgrande, Torsten Schaub, Hans Tompits
ASYNC
1999
IEEE
110views Hardware» more  ASYNC 1999»
14 years 1 days ago
Verification of Delayed-Reset Domino Circuits Using ATACS
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
Wendy Belluomini, Chris J. Myers, H. Peter Hofstee
IH
1998
Springer
13 years 12 months ago
Secure Copyright Protection Techniques for Digital Images
This paper2 presents a new approach for the secure and robust copyright protection of digital images. A system for generating digital watermarks and for trading watermarked images ...
Alexander Herrigel, Joseph Ó Ruanaidh, Holg...