Sciweavers

1757 search results - page 263 / 352
» Integrating and Extending JCSP
Sort
View
DEBS
2007
ACM
15 years 10 months ago
Concepts and models for typing events for event-based systems
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
Szabolcs Rozsnyai, Josef Schiefer, Alexander Schat...
COCO
2010
Springer
133views Algorithms» more  COCO 2010»
15 years 10 months ago
Spectral Algorithms for Unique Games
We present a new algorithm for Unique Games which is based on purely spectral techniques, in contrast to previous work in the area, which relies heavily on semidefinite programmi...
Alexandra Kolla
FDL
2007
IEEE
15 years 10 months ago
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, ...
CVPR
2009
IEEE
15 years 10 months ago
"Who are you?" - Learning person specific classifiers from video
We investigate the problem of automatically labelling faces of characters in TV or movie material with their names, using only weak supervision from automaticallyaligned subtitle ...
Josef Sivic, Mark Everingham, Andrew Zisserman
EUROMICRO
2009
IEEE
15 years 10 months ago
Automated Feature Model-Based Generation of Refinement Transformations
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
Lucia Kapová, Thomas Goldschmidt