Sciweavers

4486 search results - page 323 / 898
» Cross-Evaluation: A new model for information system evaluat...
Sort
View
ICMCS
2006
IEEE
129views Multimedia» more  ICMCS 2006»
16 years 25 days ago
Media Synchronization Method for Video Hypermedia Application Based on Extended Event Model
This paper describes a proposal of an extended event model using a media synchronization method for video hypermedia applications. In this extended event model, video and metadata...
Hironobu Abe, Hiroshi Shigeno, Ken-ichi Okada
WOTUG
2007
15 years 8 months ago
Modeling and Analysis of the AMBA Bus Using CSP and B
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
Alistair A. McEwan, Steve Schneider
CEC
2011
IEEE
14 years 6 months ago
Curiosity-driven optimization
— The principle of artificial curiosity directs active exploration towards the most informative or most interesting data. We show its usefulness for global black box optimizatio...
Tom Schaul, Yi Sun, Daan Wierstra, Faustino J. Gom...
ICDAR
2011
IEEE
14 years 6 months ago
CROHME2011: Competition on Recognition of Online Handwritten Mathematical Expressions
— A competition on recognition of online handwritten mathematical expressions is organized. Recognition of mathematical expressions has been an attractive problem for the pattern...
Harold Mouchère, Christian Viard-Gaudin, Da...
NOMS
2000
IEEE
15 years 11 months ago
Failure semantics of mobile agent systems involved in network fault management
Recently mobile agent technology has been recognised as a potential tool for realising distributed network fault management. The autonomy and mobility of such agents can help ensu...
Otto Wittner, Bjarne E. Helvik, C. J. E. Holper