989 search results - page 140 / 198 » Version spaces and the consistency problem |
168
click to vote
PRESENCE
2007
15 years 5 months ago
2007
The implementation of telemanipulator systems for cardiac surgery enabled heart surgeons to perform delicate minimally invasive procedures with high precision under stereoscopic v...
253
click to vote
SADFE
2010
IEEE
15 years 3 months ago
2010
IEEE
: Like other latent evidence that cannot be directly perceived by people, bit sequences have to be presented through tools. Presentations of digital forensic evidence often involve...
204
click to vote
SIAMADS
2010
15 years 20 days ago
2010
We study binocular rivalry in a competitive neural network with synaptic depression. In particular, we consider two coupled hypercolums within primary visual cortex (V1), represent...
203
click to vote
NAR
2011
14 years 8 months ago
2011
An essential prerequisite for any systems-level understanding of cellular functions is to correctly uncover and annotate all functional interactions among proteins in the cell. To...
243
click to vote
EDBT
2012
ACM
13 years 8 months ago
2012
ACM
The Web of Linked Data grows rapidly and already contains data originating from hundreds of data sources. The quality of data from those sources is very diverse, as values may be ...