154 search results - page 7 / 31 » Web Interfaces for Proof Assistants |
MM
2006
ACM
14 years 1 months ago
2006
ACM
With the popularity of both travel and Web, more and more people use online travel services to facilitate their travel activities or share their travel experiences. Considering th...
IUI
2004
ACM
14 years 25 days ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
INTERACT
2003
13 years 8 months ago
2003
: This paper presents a menu-based interface intended to support web navigation through multimodal interaction on small displays. As common starting points for web browsing and sea...
BMCBI
2008
13 years 7 months ago
2008
Background: Expressed sequence tag (EST) collections are composed of a high number of single-pass, redundant, partial sequences, which need to be processed, clustered, and annotat...