3717 search results - page 186 / 744 » Architecture-Based Design of Computer Based Systems |
149
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
130
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Designing agents whose behavior challenges human players adequately is a key issue in computer games development. This work presents a novel technique, based on reinforcement lear...
148
click to vote
IJCV
2006
15 years 4 months ago
2006
Variational methods are among the most accurate techniques for estimating the optic flow. They yield dense flow fields and can be designed such that they preserve discontinuities, ...
130
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Despite the considerable quantity of research directed towards multitouch technologies, a set of standardized UI components have not been developed. Menu systems provide a particu...
205
click to vote
CLUSTER
1999
IEEE
15 years 3 months ago
1999
IEEE
To secure interactive multimedia applications in wireless LANs WLANs it is pertinent to implement real time cryptographic services. In this paper we evaluate the use of software b...