Tag resolution [at least 200 articles] Export

Recent papers classified by the tag resolution.

	Boundary Points and Resolution [My Copy] Theory and Applications of Satisfiability Testing - SAT 2009 (2009), pp. 147-160. by Eugene Goldberg posted to resolution proof-complexity cdcl by gkatsi on 2009-11-05 14:36:34 as
	The Free Kelvin Wave in Finite-Difference Numerical Models [My Copy] Journal of Physical Oceanography, Vol. 13, No. 8. (1 August 1983), pp. 1383-1397. by William W. Hsieh, Michael K. Davey, Roxana C. Wajsowicz posted to viscosity resolution moc kelvin_waves kelvin_wave boundary_wave by DanHodson on 2009-11-05 12:17:06 as along with 1 person pleizier
	Formalizing Dangerous SAT Encodings [My Copy] Theory and Applications of Satisfiability Testing – SAT 2007 (2007), pp. 159-172. by Alexander Hertel, Philipp Hertel, Alasdair Urquhart posted to resolution proof-complexity by gkatsi on 2009-11-02 12:34:26 as along with 1 person pwais
	On Subsumption Removal and On-the-Fly CNF Simplification [My Copy] Theory and Applications of Satisfiability Testing (2005), pp. 482-489. by Lintao Zhang posted to subsumption resolution cnf by gkatsi on 2009-10-29 14:47:35 as
	On Improving 4-km Mesoscale Model Simulations [My Copy] Journal of Applied Meteorology and Climatology, Vol. 45, No. 3. (1 March 2006), pp. 361-381. by Aijun Deng, David R. Stauffer posted to resolution mm5 fdda captex by JayAreZee on 2009-10-27 20:20:45 as
	Genome-scale model for <I>Clostridium acetobutylicum</I>: Part I. Metabolic network resolution and analysis [My Copy] Biotechnology and Bioengineering, Vol. 101, No. 5. (1 December 2008), pp. 1036-1052. by Ryan S. Senger, Eleftherios T. Papoutsakis posted to systems resolution network model metabolic genome-scale clostridium biology and analysis acetobutylicum by Winzer on 2009-10-27 11:38:15 as along with 1 person JeremyZucker
	Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs [My Copy] Theory and Applications of Satisfiability Testing - SAT 2006 (2006), pp. 48-53. by Allen Van Gelder posted to resolution proof-complexity by gkatsi on 2009-10-26 18:07:29 as
	Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces [My Copy] Theory and Applications of Satisfiability Testing - SAT 2009 (2009), pp. 141-146. by Allen Van Gelder posted to resolution minimization dpll by gkatsi on 2009-10-26 17:45:17 as
	Democracy, Dialogue, and Education: An Exploration of Conflict Resolution at Jefferson Junior High [My Copy] Southern Communication Journal, Vol. 72, No. 2. (2007), pp. 109-126. by Alane K. Smith-Sanders, Lynn M. Harter posted to resolution ethnography education conflict by pdillon on 2009-10-25 19:15:56 as
	Short proofs are narrow---resolution made simple [My Copy] J. ACM, Vol. 48, No. 2. (2001), pp. 149-169. by Eli B. Sasson, Avi Wigderson posted to resolution proof-complexity by gkatsi on 2009-10-20 23:10:14 as
	A short proof of the pigeon hole principle using extended resolution [My Copy] SIGACT News, Vol. 8, No. 4. (1976), pp. 28-32. by Stephen A. Cook posted to resolution extended-resolution by gkatsi on 2009-10-19 16:25:08 as
	Multi-resolution on compressed sets of clauses [My Copy] Tools with Artificial Intelligence, 2000. ICTAI 2000. Proceedings. 12th IEEE International Conference on (06 August 2002), pp. 2-10. by P. Chatalic, L. Simon posted to sat resolution bdd by gkatsi on 2009-10-19 14:56:27 as
	Human DNA methylomes at base resolution show widespread epigenomic differences. [My Copy] Nature, Vol. advance online publication (14 October 2009) by Ryan Lister, Mattia Pelizzola, Robert H. Dowen, et al.R. David Hawkins, Gary Hon, Julian Tonti-Filippini, Joseph R. Nery, Leonard Lee, Zhen Ye, Que-Minh M. Ngo, Lee Edsall, Jessica Antosiewicz-Bourget, Ron Stewart, Victor Ruotti, A. Harvey Millar, James A. Thomson, Bing Ren, Joseph R. Ecker posted to widespread resolution methylome methylation human epigenomic epigenetic dna differences base by dswan on 2009-10-16 09:09:28 as along with 12 people and 4 groups clearbluespring rschulz RyuOgawa hagechouchin443 devinmhellesen daveGerrard polivares fenghezi colinveal frohike liqbbi ethanmj JLab CTCF BergmanLab Journal picks
	Lectures on Resolution of Singularities [My Copy] (05 February 2007) by Janos Kollar posted to singularities resolution by NitinCR on 2009-10-05 13:21:24 as
	Efficient conflict driven learning in a boolean satisfiability solver [My Copy] In In ICCAD (2001), pp. 279-285. by Lintao Zhang, Conor F. Madigan posted to sat resolution cdcl by gkatsi on 2009-09-30 13:18:59 as along with 2 people radsz pwais
	Resolution graphs of some surface singularities II. (generalized Iomdin series) [My Copy] (15 Mar 2000) by András Némethi, Ágnes Szilárd posted to surface some singularities series resolution of iomdin ii graphs generalized by umesh on 2009-09-18 21:15:44 as
	Resolution graphs of some surface singularities I. (cyclic coverings) [My Copy] (15 Mar 2000) by András Némethi posted to surface some singularities resolution of i graphs cyclic coverings by umesh on 2009-09-18 21:15:26 as
	Short proofs for tricky formulas [My Copy] Acta Informatica, Vol. 22, No. 3. (1 August 1985), pp. 253-275. by Balakrishnan Krishnamurthy posted to symmetry resolution propositional_calculus proof_system extended-resolution by gkatsi on 2009-09-13 22:47:34 as
	Space Bounds for Resolution [My Copy] Information and Computation, Vol. 171, No. 1. (25 November 2001), pp. 84-97. by J. Esteban, J. Torán posted to resolution by gkatsi on 2009-08-04 15:21:25 as
	Using ICA and realistic BOLD models to obtain joint EEG/fMRI solutions to the problem of source localization [My Copy] NeuroImage, Vol. 44, No. 2. (15 January 2009), pp. 411-420. by T. Brookings, S. Ortigue, S. Grafton, J. Carlson posted to eeg fmri fusion ica modeling multimodal regularization resolution by kperdue on 2009-08-03 23:37:43 as
	Local Search for Unsatisfiability [My Copy] Theory and Applications of Satisfiability Testing - SAT 2006 (2006), pp. 283-296. by Steven Prestwich, Inês Lynce posted to sat resolution by gkatsi on 2009-07-20 19:28:35 as
	Resolution decision procedures [My Copy] (2001), pp. 1791-1849. by Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet posted to resolution by robertjohnsimmons on 2009-07-14 01:05:44 as
	Supporting conflict resolution in cooperative design systems [My Copy] Systems, Man and Cybernetics, IEEE Transactions on In Systems, Man and Cybernetics, IEEE Transactions on, Vol. 21, No. 6. (1991), pp. 1379-1390. by M. Klein posted to conflict resolution by melisCites on 2009-07-13 05:30:42 as along with 1 group MiGen Project
	A comparison of DNA copy number profiling platforms. [My Copy] Cancer research, Vol. 67, No. 21. (1 November 2007), pp. 10173-10180. by J. Greshock, B. Feng, C. Nogueira, et al.E. Ivanova, I. Perna, K. Nathanson, A. Protopopov, B. L. Weber, L. Chin posted to benchmark cgh resolution by burak on 2009-07-13 04:19:33 as along with 2 people guhjy jfr
	Resolving the resolution of array CGH. [My Copy] Genomics, Vol. 89, No. 5. (May 2007), pp. 647-653. by B. P. Coe, B. Ylstra, B. Carvalho, G. A. Meijer, C. Macaulay, W. L. Lam posted to benchmark cgh resolution by burak on 2009-07-13 04:18:07 as
	Completely non-clausal theorem proving [My Copy] Artificial Intelligence, Vol. 18, No. 1. (January 1982), pp. 67-85. by N. Murray posted to nonclausal-resolution resolution theorem-proving by robertjohnsimmons on 2009-07-07 13:06:53 as
	Constructive Negation Based on the Completed Database [My Copy] In ICLP/SLP (1988), pp. 111-125. by David Chan posted to backward-chaining negation resolution weanreview by robertjohnsimmons on 2009-07-03 03:06:01 as
	Modal theorem proving [My Copy] In Proc. of the 8th international conference on Automated deduction (1986), pp. 172-189. by M. Abadi, Z. Manna posted to modal-logic nonclausal-resolution resolution skolemization weanreview by robertjohnsimmons on 2009-07-02 19:56:54 as
	Recursive query processing: the power of logic [My Copy] Theor. Comput. Sci., Vol. 69, No. 1. (1989), pp. 1-53. by L. Vielle posted to resolution weanreview by robertjohnsimmons on 2009-07-02 19:55:31 as
	Negation and Constraint Logic Programming [My Copy] Information and Computation, Vol. 118, No. 1. (April 1995), pp. 12-33. by P. Stuckey posted to constraint-logic-programming negation resolution weanreview by robertjohnsimmons on 2009-07-02 13:57:12 as
	Measurement of fiber orientation distributions using high angular resolution diffusion imaging. [My Copy] Magnetic resonance in medicine : official journal of the Society of Magnetic Resonance in Medicine / Society of Magnetic Resonance in Medicine, Vol. 54, No. 5. (November 2005), pp. 1194-1206. by A. W. Anderson posted to anderson_aw angular diffusion high imaging mri resolution by Explorer on 2009-06-30 20:52:49 as
	Developing a high-resolution photoacoustic microscopy platform [My Copy] 4th European Conference of the International Federation for Medical and Biological Engineering (2009), pp. 448-451. by W. Bost, F. Stracke, M. Fournelle, R. Lemor posted to citedby6 high microscopy photoacoustics resolution by rodney on 2009-06-29 22:36:46 as
	The role of perspective in identifying domains of reference☆ [My Copy] Cognition, Vol. 108, No. 3. (September 2008), pp. 831-836. by D. Heller, D. Grodner, M. Tanenhaus posted to ambiguity collaborative common communication conversation dialogue ground interactive perspective reference referential resolution by hkreysa on 2009-06-15 18:45:29 as along with 1 person briordan
	Partner-specific interpretation of maintained referential precedents during interactive dialog [My Copy] Journal of Memory and Language, Vol. 61, No. 2. (31 August 2009), pp. 171-190. by Sarah Brown-Schmidt posted to abstract ambiguity broken collaborative common communication conceptual constraint-based conversation dialogue entrainment episodic eyetracking fixation-latency ground interactive memory modifier pact partner-specificity perspective precedent reference referential resolution target-advantage unscripted by hkreysa on 2009-06-15 16:19:14 as
	Resolution limit in community detection [My Copy] Proceedings of the National Academy of Sciences, Vol. 104, No. 1. (2 January 2007), pp. 36-41. by Santo Fortunato, Marc BarthÃ©lemy posted to community detection limit modularity network resolution by compbio on 2009-06-14 21:10:48 as along with 16 people and 3 groups AaronMcDaid wjant pdlug almadana conradlee zufar vtraag cgaugain pdelosri lfriedl yas muraken iris_2001 kubyaddi marcio orahcio kdl T_lab EPFL_SB_ITP_LBS
	Advances in high-resolution imaging and computational unfolding of the human hippocampus [My Copy] NeuroImage, Vol. 47, No. 1. (01 August 2009), pp. 42-49. by Arne D. Ekstrom, Adam J. Bazih, Nanthia A. Suthana, et al.Ramsey Al-Hakim, Kenji Ogura, Michael Zeineh, Alison C. Burggren, Susan Y. Bookheimer posted to fmri high hippocampus mtl resolution structural by brockkirwan on 2009-06-12 02:57:12 as
	Categorical resolution of singularities [My Copy] (28 May 2009) by Valery A. Lunts posted to resolution by deepthought on 2009-05-29 01:06:44 as
	Time-resolved electron beam phase space tomography at a soft x-ray free-electron laser [My Copy] Physical Review Special Topics - Accelerators and Beams, Vol. 12, No. 5. (19 May 2009), 050704. by Michael Röhrs, Christopher Gerth, Holger Schlarb, Bernhard Schmidt, Peter Schmüser posted to bunch crystal duration electro-optic electron fel femtosecond free-electron-laser measurement phase resolution space time tomography x-ray by michaelbussmann on 2009-05-27 15:26:13 as along with 1 person and 1 group tomatoman Oxford Hooker Group
	Assessment of the limiting spatial resolution of an MRI scanner by direct analysis of the edge spread function [My Copy] Medical Physics, Vol. 36, No. 5. (2009), pp. 1637-1642. by Ioannis Delakis, Christos Xanthis, Richard I. Kitney posted to magnetic resolution resonance by rjstafford on 2009-05-10 23:05:19 as
	The Use of Soft Systems Methodology in Practice [My Copy] The Journal of the Operational Research Society, Vol. 43, No. 4. (1992), pp. 321-332. by John Mingers, Sarah Taylor posted to conflict resolution by ucjtevs on 2009-05-06 14:13:50 as
	Patterns of Electoral Governance in Africa's Emerging Democracies [My Copy] International Political Science Review, Vol. 23, No. 1. (1 January 2002), pp. 85-101. by Shaheen Mozaffar posted to commission democratization dispute election electoral resolution by reifmegan on 2009-05-04 02:28:52 as
	MODIS Aerosol Optical Depth Retrievals with high spatial resolution over an Urban Area using the Critical Reflectance [My Copy] Journal of Geophysical Research, Vol. 113 (16 January 2008), D02201. by Andréa, Vanderlei J. Martins, Paulo Artaxo posted to modis resolution spatial by telekepalli on 2009-04-13 15:22:05 as
	Effect of Grid Resolution and Terrain Characteristics on Data from DTM [My Copy] Journal of Computing in Civil Engineering, Vol. 15, No. 2. (2001), pp. 137-143. by David Heesom, Lamine Mahdjoubi posted to dem geog gis resolution surfacearea by fmark on 2009-04-08 06:37:38 as
	Accuracy assessment of the SRTM 90m DTM over Greece and its implications to geoid modelling [My Copy] Dynamic Planet (2007), pp. 309-315. by G. S. Vergos, V. N. Grigoriadis, G. Kalampoukas, I. N. Tziavos posted to dem geog gis resolution by fmark on 2009-04-08 06:35:09 as
	The effects of aggregating sub-grid land surface variation on large-scale estimates of net primary production [My Copy] Landscape Ecology, Vol. 10, No. 4. (1 August 1995), pp. 239-253. by Lars L. Pierce, Steven W. Running posted to dem geog gis resolution surfacearea by fmark on 2009-04-08 06:23:05 as
	A GPS real-time system for instantaneous ambiguity resolution: development and experiences [My Copy] Position Location and Navigation Symposium, 1996., IEEE 1996 In Position Location and Navigation Symposium, 1996., IEEE 1996 (1996), pp. 270-276. by A. Mathes, E. Groten, J. Traiser posted to ambiguity gps real-time resolution by dcastro on 2009-03-31 10:20:16 as
	Identification of the Mechanism of Interdecadal Variability in the North Atlantic Ocean [My Copy] Journal of Physical Oceanography, Vol. 34, No. 12. (1 December 2004), pp. 2792-2807. by Te, Jeroen Gerrits, Henk A. Dijkstra posted to adjustment atlantic decadal moc resolution by DanHodson on 2009-03-24 13:16:35 as
	Object-oriented classification of very high resolution airborne imagery for the extraction of hedgerows and field margin cover in agricultural areas [My Copy] Applied Geography (08 October 2008) by K. Tansey, I. Chambers, A. Anstee, A. Denniss, A. Lamb posted to agriculture classification hedgerows high object-oriented resolution very by iwagner on 2009-03-06 14:26:03 as along with 1 person dekay23
	Resolution enhancement in MAS solid-state NMR by application of C homonuclear scalar decoupling during acquisition [My Copy] Journal of Magnetic Resonance, Vol. 172, No. 1. (January 2005), pp. 56-62. by V. Chevelkov, Z. Chen, W. Bermel, B. Reif posted to 13c mas resolution ssnmr by viktor21614 on 2009-03-06 09:12:08 as
	Conflict driven learning in a quantified Boolean Satisfiability solver [My Copy] In ICCAD '02: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design (2002), pp. 442-449. by Lintao Zhang, Sharad Malik posted to resolution qbf dpll by gkatsi on 2009-03-06 07:19:31 as

Note: You may cite this page as: http://www.citeulike.org/tag/resolution

Result page: 1 2 3 4 5 Next

high	37
spatial	23
image	15
pet	14
conflict	12
microscopy	11
optical	9
apd	8
fmri	8
imaging	8
ambiguity	7
analysis	7
detection	7
detector	7
doi	7
logic	7
lso	7
time	7
anaphora	6
data	6
entity	6
laser	6
communication	5
coreference	5
energy	5
magnetic	5
model	5
parahydrogen	5
processing	5
sampling	5
scintillator	5
simulation	5
snr	5
x-ray	5
algorithm	4
computational	4
electron	4
feature	4
interaction	4
interactive	4
lasers	4
method	4
moc	4
molecular	4
network	4
of	4
phase	4
plasma	4
proof-complexity	4
quality	4
review	4
sat	4
temporal	4
tomography	4
two-photon	4
visual	4
weanreview	4
2d	3
array	3
automated	3
brain	3
cgh	3
characterization	3
clustering	3
crosstalk	3
crystal	3
dem	3
design	3
dialogue	3
distribution_models	3
dpll	3
error_assessment	3
geog	3
gis	3
hippocampus	3
information	3
intelligence	3
linguistics	3
logic-programming	3
logistic_regression	3
mdb	3
measurement	3
models	3
motion	3
perception	3
perspective	3
position	3
recognition	3
representation	3
sampling_effort	3
scale	3
segmentation	3
signal	3
singularities	3
smoothing	3
space	3
ssnmr	3
super	3
video	3
watermarking	3

Tag resolution [at least 200 articles] Export

Related Tags