5215 search results - page 751 / 1043 » Modeling User Interfaces to Workflow Information Systems |
177
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We are developing a cross-media information retrieval system, in which users can view specific segments of lecture videos by submitting text queries. To produce a text index, the ...
196
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
183
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Social media treats all users the same: trusted friend or total stranger, with little or nothing in between. In reality, relationships fall everywhere along this spectrum, a topic...
145
click to vote
IJMMS
2000
15 years 6 months ago
2000
In this paper we present an approach to document enrichment, which consists of developing and integrating formal knowledge models with archives of documents, to provide intelligent...
203
click to vote
AVI
2006
15 years 8 months ago
2006
Scientific measurements are often depicted as line graphs. Stateof-the-art high throughput systems in life sciences, telemetry and electronics measurement rapidly generate hundred...