Sciweavers

821 search results - page 79 / 165
» A Model Driven Approach to the Analysis of Timeliness Proper...
Sort
View
ICMCS
2005
IEEE
123views Multimedia» more  ICMCS 2005»
15 years 5 months ago
A cognitive psychology-based approach for 3-D shape retrieval
In this paper, we incorporate a set of principles originated from cognitive psychology into the design of 3-D shape analysis and retrieval algorithms. Based on the “visual salie...
Hsueh-Yi Sean Lin, Hong-Yuan Mark Liao, Ja-Chen Li...
EDOC
2000
IEEE
15 years 4 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
DAC
2008
ACM
16 years 26 days ago
Transistor level gate modeling for accurate and fast timing, noise, and power analysis
Current source based cell models are becoming a necessity for accurate timing and noise analysis at 65nm and below. Voltage waveform shapes are increasingly more difficult to repr...
S. Raja, F. Varadi, Murat R. Becer, Joao Geada
SAIG
2000
Springer
15 years 3 months ago
Generating Data Analysis Programs from Statistical Models
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
Bernd Fischer 0002, Johann Schumann, Thomas Pressb...
CMS
2006
127views Communications» more  CMS 2006»
15 years 1 months ago
Towards Practical Attacker Classification for Risk Analysis in Anonymous Communication
Abstract. There are a number of attacker models in the area of anonymous communication. Most of them are either very simplified or pretty abstract - therefore difficult to generali...
Andriy Panchenko, Lexi Pimenidis