8030 search results - page 1510 / 1606 » User Interfaces |
132
Voted
JAR
2006
15 years 2 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...
137
click to vote
JSW
2008
15 years 2 months ago
2008
The Data Grid, like all other collaboration models, has strict rules for contributors to follow and many criteria to abide with. Namespace is one of the rules that govern the contr...
142
click to vote
JUCS
2008
15 years 2 months ago
2008
: So far, the Ambient Intelligence (AmI) paradigm has been applied to the development of a great variety of real systems. They use advanced technologies such as ubiquitous computin...
111
click to vote
JUCS
2008
15 years 2 months ago
2008
: Presentation types are used in the CLIM interface library to tag graphical output with a type and establish an input type context in which the user may use the keyboard to type i...
133
click to vote
JUCS
2008
15 years 2 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...