Sciweavers

5456 search results - page 673 / 1092
» A study of Object Evolution
Sort
View
TABLEAUX
2009
Springer
16 years 1 months ago
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...
Régis Alenda, Nicola Olivetti, Camilla Schw...
ASPDAC
2009
ACM
161views Hardware» more  ASPDAC 2009»
16 years 1 months ago
Risk aversion min-period retiming under process variations
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
Jia Wang, Hai Zhou
DEBS
2009
ACM
16 years 1 months ago
Distributed agent environments in the Ambient Event Calculus
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
Stefano Bromuri, Kostas Stathis
UIST
2009
ACM
16 years 1 months ago
Contact area interaction with sliding widgets
We show how to design touchscreen widgets that respond to a finger’s contact area. In standard touchscreen systems a finger often appears to touch several screen objects, but ...
Tomer Moscovich
CRV
2008
IEEE
205views Robotics» more  CRV 2008»
16 years 1 months ago
Accurate Boundary Localization using Dynamic Programming on Snakes
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...
Akshaya Kumar Mishra, Paul W. Fieguth, David A. Cl...