5215 search results - page 982 / 1043 » Modeling User Interfaces to Workflow Information Systems |
ASE
2002
14 years 9 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Modern maps provide a variety of information about roads and their surrounding landscape allowing navigation systems to go beyond simple shortest path computation. In this demo, w...
CIKM
2011
Springer
13 years 9 months ago
2011
Springer
The field of information retrieval has witnessed over 50 years of research on retrieval methods for metadata descriptions and controlled indexing languages, the prototypical exam...
MM
2003
ACM
15 years 3 months ago
2003
ACM
Video information retrieval requires a system to find information relevant to a query which may be represented simultaneously in different ways through a text description, audio...
ISCIS
2009
Springer
15 years 4 months ago
2009
Springer
—With the development of improved and cost-effective technologies, it is now possible to detect thousands of metabolites in biofluids or specific organs, and reliably quantify th...