3623 search results - page 493 / 725 » Functionally Modeled User Interfaces |
146
click to vote
JAR
2006
15 years 3 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...
111
click to vote
IJMMS
2000
15 years 3 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...
129
click to vote
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Designing a two-person game involves identifying the game model to compute the best moves, the user interface (the "view") to play the game, and the controller to coordi...
147
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Building applications over Linked Data often requires a mapping between the application model and the ontology underlying the source dataset in the Linked Data cloud. This mapping ...
177
click to vote
WWW
2002
ACM
16 years 4 months ago
2002
ACM
We describe ongoing work on I2I, a system aimed at fostering opportunistic communication among users viewing or manipulating content on the Web and in productivity applications. U...