Sciweavers

375 search results - page 8 / 75
» Adaptive Help for Webbased Applications
Sort
View
CAV
2009
Springer
123views Hardware» more  CAV 2009»
14 years 17 days ago
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
David Monniaux
ECIS
2004
13 years 10 months ago
Activity Based generation of requirements for web-based information systems: the SSM/ICDT approach
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
Mary Meldrum, Jeremy Rose
BMCBI
2007
111views more  BMCBI 2007»
13 years 8 months ago
MotifCombinator: a web-based tool to search for combinations of cis-regulatory motifs
Background: A combination of multiple types of transcription factors and cis-regulatory elements is often required for gene expression in eukaryotes, and the combinatorial regulat...
Mamoru Kato, Tatsuhiko Tsunoda
WEBI
2004
Springer
14 years 1 months ago
A Web-Based Intelligent Tutoring System for Computer Programming
Web Intelligence is a direction for scientific research that explores practical applications of Artificial Intelligence to the next generation of Web-empowered systems. In this ...
Cory J. Butz, Shan Hua, R. Brien Maguire
WIMOB
2008
IEEE
14 years 3 months ago
Resource Management Strategies for Mobile Web-Based Services
—The great diffusion of Mobile Web-enabled devices allows the implementation of novel personalization, location and adaptation services that will place unprecedented strains on t...
Claudia Canali, Michele Colajanni, Riccardo Lancel...