Sciweavers

3450 search results - page 265 / 690
» Media Content Analysis
Sort
View
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 25 days ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
WEBI
2005
Springer
16 years 24 days ago
Weighted Link Analysis for Logo and Trademark Image Retrieval on the Web
Image retrieval on the Web requires that important (authoritative) images satisfying the query selection criteria are assigned higher ranking over other relevant images. PicASHOW ...
Epimenidis Voutsakis, Euripides G. M. Petrakis, Ev...
ICALT
2003
IEEE
16 years 18 days ago
Cohesion and Roles: Network Analysis of CSCL Communities
We provide empirical support for the assertions that high level of knowledge construction is associated with structured design and that knowledge construction is associated with c...
Reuven Aviv, Zippy Erlich, Gilad Ravid
ICALT
2007
IEEE
15 years 9 months ago
Semantic Relation Analysis and Its Application in Cognitive Profiling
Semantic web is an emerging paradigm that has great potential for the management of web content in a meaningful manner. With more and more semantic information appended to web, th...
Taiyu Lin, Kinshuk, Sabine Graf
WCET
2010
15 years 5 months ago
Toward Precise PLRU Cache Analysis
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, cache analysis is mandat...
Daniel Grund, Jan Reineke