Sciweavers

2986 search results - page 353 / 598
» Generic market models
Sort
View
ICDAR
2009
IEEE
16 years 1 months ago
Fisher Kernels for Handwritten Word-spotting
The Fisher kernel is a generic framework which combines the benefits of generative and discriminative approaches to pattern classification. In this contribution, we propose to a...
Florent Perronnin, José A. Rodríguez...
B
2007
Springer
16 years 27 days ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
166
Voted
ICSOC
2007
Springer
16 years 26 days ago
BPEL4Job: A Fault-Handling Design for Job Flow Management
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
Wei Tan, Liana Fong, Norman Bobroff
TPHOL
2005
IEEE
16 years 9 days ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
GBRPR
2005
Springer
16 years 7 days ago
Graphical Knowledge Management in Graphics Recognition Systems
Abstract. This paper deals with the problem of graphical knowledge management (formalization, modelling, representation and operationalization) in graphics recognition systems. We ...
Mathieu Delalandre, Éric Trupin, Jacques La...