1275 search results - page 168 / 255 » Are you having difficulty |
121
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
Assessments of spatial, constructional ability are used widely in cognitive research and in clinical diagnosis of disease or injury. Some believe that three-dimensional (3D) forms...
132
click to vote
RECOMB
2001
Springer
16 years 4 months ago
2001
Springer
In proteomics 2?dimensional gel electrophoresis (2?DE) is a separation technique for proteins. The resulting protein spots can be identified by either using picking robots and sub...
136
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
215
Voted
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Enabling keyword queries over relational databases (KQDB) benefits a large population of users who have difficulty in understanding the database schema or using SQLs. However, sin...
209
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...