2498 search results - page 231 / 500 » A tool for materials exploration |
163
click to vote
PUC
2008
15 years 6 months ago
2008
Researchers have begun to explore tools that allow multiple users to collaborate across multiple devices in collocated environments. These tools often allow users to simultaneously...
181
click to vote
SAT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
201
click to vote
DASIP
2010
15 years 1 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
184
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
From pre-schools to high schools, at home and in museums, the educational community has embraced the use of computers as a teaching tool. Yet many institutions will simply install...
198
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Biological sequence repeats arranged in tandem patterns are widespread in DNA and proteins. While many software tools have been designed to detect DNA tandem repeats (...