Sciweavers

6530 search results - page 507 / 1306
» Application Integration
Sort
View
POPL
1991
ACM
15 years 10 months ago
Polymorphic Type Inference and Assignment
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
Xavier Leroy, Pierre Weis
IJAR
2008
91views more  IJAR 2008»
15 years 7 months ago
Distance-based paraconsistent logics
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
Ofer Arieli
CHI
2007
ACM
16 years 7 months ago
Comedia: mobile group media for active spectatorship
Previous attempts to support spectators at large-scale events have concentrated separately on real-time event information, awareness cues, or media-sharing applications. CoMedia c...
Giulio Jacucci, Antti Oulasvirta, Tommi Ilmonen, J...
ICDAR
2003
IEEE
16 years 6 days ago
A Fast Multifunctional Approach for Document Image Analysis
Collinear arrangement of objects (such as, text elements or continuous lines) is integral part of any office document image, whether structured or unstructured. The ability to ana...
Abhishek Gattani, Maitrayee Mukerji, Hareish Gu
COLCOM
2009
IEEE
15 years 10 months ago
VaaS: Videoconference as a service
- Internet is a place nowadays where interoperating services are offered which can be integrated or mashed up in order to fulfill user demands. This paper proposes a way to offer v...
Pedro Rodriguez, Daniel Gallego, Javier Cervino, F...