Sciweavers

4286 search results - page 468 / 858
» Formalizing Service Interactions
Sort
View
INTERACT
2003
15 years 8 months ago
Developing and Experiencing Mobile Video Communication
: The paper concerns collaborative research with the twofold task of developing video streaming technology for mobile devices and exploring user experiences in mobile multimedia. T...
Anne Soronen, Petri Packalén, Anu Jäpp...
186
Voted
SIVP
2010
164views more  SIVP 2010»
15 years 5 months ago
Adaptive and personalized multimedia content delivery for disabled users in Internet TV
This paper aims at the delivery of adaptive and personalized multimedia content in interactive IPTV environments, using programmable IP services through the MPEG-21 standard, suppo...
Ioannis Anagnostopoulos, Christos-Nikolaos Anagnos...
KDD
2002
ACM
193views Data Mining» more  KDD 2002»
16 years 7 months ago
Query, analysis, and visualization of hierarchically structured data using Polaris
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
Chris Stolte, Diane Tang, Pat Hanrahan
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
SEMWEB
2007
Springer
16 years 24 days ago
Dynamic Ontology Co-Evolution from Texts: Principles and Case Study
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
Kévin Ottens, Nathalie Aussenac-Gilles, Mar...