2757 search results - page 253 / 552 » On separating systems |
172
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Visualization techniques have proven to be critical in helping crime analysis. By interviewing and observing Criminal Intelligence Officers (CIO) and civilian crime analysts at th...
197
click to vote
KCAP
2005
ACM
16 years 3 days ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
189
click to vote
VIS
2005
IEEE
16 years 7 months ago
2005
IEEE
Differential protein expression analysis is one of the main challenges in proteomics. It denotes the search for proteins, whose encoding genes are differentially expressed under a...
165
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
182
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...