Sciweavers

3555 search results - page 512 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
HASKELL
2009
ACM
15 years 11 months ago
Alloy: fast generic transformations for Haskell
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
Neil C. C. Brown, Adam T. Sampson
ICDAR
2005
IEEE
15 years 10 months ago
Data categorization for a context return applied to logical document structure recognition
The purpose of this work is to develop a pattern recognition system simulating the human vision. A transparent neural network, with context returns is used. The context returns co...
Yves Rangoni, Abdel Belaïd
MUM
2004
ACM
148views Multimedia» more  MUM 2004»
15 years 9 months ago
UMAR: Ubiquitous Mobile Augmented Reality
In this paper we discuss the prospects of using marker based Augmented Reality for context aware applications on mobile phones. We also present the UMAR, a conceptual framework fo...
Anders Henrysson, Mark Ollila
MICAI
2004
Springer
15 years 9 months ago
Extracting Temporal Patterns from Time Series Data Bases for Prediction of Electrical Demand
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
J. Jesus Rico Melgoza, Juan J. Flores, Constantino...
ICEIS
2003
IEEE
15 years 9 months ago
An XML View of the "World"
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani