Sciweavers

4099 search results - page 684 / 820
» A Framework for Interactive Proof
Sort
View
WWW
2004
ACM
16 years 5 months ago
A generic uiml vocabulary for device- and modality independent user interfaces
We present in this poster our work on a User Interface Markup Language (UIML) vocabulary for the specification of device- and modality independent user interfaces. The work presen...
Rainer Simon, Michael Jank, Florian Wegscheider
WWW
2004
ACM
16 years 5 months ago
Semantic Web-based Adaptive Hypermedia
Adaptive Hypermedia constitutes a large portion of the Web nowadays. Issues of personalization and adaptation become crucial for the efficient handling of the information on the I...
Lora Aroyo, Paul De Bra, Vadim I. Chepegin
WWW
2001
ACM
16 years 5 months ago
JOBS: Javacard-based Online-ticket Booking System
It is expected that the next generation of smart card will be more intelligent, more interactive and more interoperable. We call these the 3i requirements. A smart card wallet sys...
Derek W. M. Sin, Henry C. B. Chan
KDD
2007
ACM
149views Data Mining» more  KDD 2007»
16 years 4 months ago
Partial example acquisition in cost-sensitive learning
It is often expensive to acquire data in real-world data mining applications. Most previous data mining and machine learning research, however, assumes that a fixed set of trainin...
Victor S. Sheng, Charles X. Ling
POPL
2005
ACM
16 years 4 months ago
From sequential programs to multi-tier applications by program transformation
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
Matthias Neubauer, Peter Thiemann