10159 search results - page 1789 / 2032 » System Design Validation Using Formal Models |
158
click to vote
JETAI
2007
15 years 6 months ago
2007
The Internet has led to the development of on-line markets, and computer scientists have designed various auction algorithms, as well as automated exchanges for standardized commo...
197
click to vote
VR
2010
IEEE
15 years 5 months ago
2010
IEEE
VirtualizeMe introduces a new design for a fully immersive TeleImmersion system for remote collaboration and virtual world interaction. This system introduces a new avatar creatio...
204
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, an approach based on the combination of discrete Hidden Markov Models (HMMs) in the ROC space is proposed to improve the performance of off-line signature verificat...
183
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
With an eye towards design of human-in-the-loop systems, we investigate human decision making in a social context for tasks that require the human to make repeated choices among fi...
199
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Over the last decade the cost of producing genomic sequences has dropped dramatically due to the current so called “next-gen” sequencing methods. However, these next-gen seque...