Search results for "quantification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Tobias Hoßfeld, Phuoc Tran-Gia, Markus Fiedler	Quantification of Quality of Experience for Edge-Based Applications.	ITC	2007	DBLP DOI BibTeX RDF
17	Ghassan Hamarneh, Aaron D. Ward, Richard Frank	Quantification and Visualization of Localized and Intuitive Shape Variability Using a Novel Medial-Based Shape Representation.	ISBI	2007	DBLP DOI BibTeX RDF
17	Antonis Daskalakis, Dionisis A. Cavouras, Panagiotis Bougioukos, Spiros Kostopoulos, Pantelis Georgiadis, Ioannis Kalatzis, George C. Kagadis, George Nikiforidis	Effective Quantification of Gene Expression Levels in Microarray Images Using a Spot-Adaptive Compound Clustering-Enhancement-Segmentation Scheme.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	microarray image analysis, microarray griding, CLAHE, SRG, DNA
17	Carlos Grandón, Alexandre Goldsztejn	Inner approximation of distance constraints with existential quantification of parameters.	SAC	2006	DBLP DOI BibTeX RDF	AE-solution set, distance constraint, inner approximation, quantifier elimination, generalized intervals
17	Karl Rohr, Stefan Wörz	High-precision localization and quantification of 3D tubular structures.	ISBI	2006	DBLP DOI BibTeX RDF
17	Matthias Brantner, Sven Helmer, Carl-Christian Kanne, Guido Moerkotte	Kappa-Join: Efficient Execution of Existential Quantification in XML Query Languages.	XSym	2006	DBLP DOI BibTeX RDF
17	Liyu Huang, Weirong Wang, Sekou Singare	Using Back Propagation Feedback Neural Networks and Recurrence Quantification Analysis of EEGs Predict Responses to Incision During Anesthesia.	ICNC (2)	2006	DBLP DOI BibTeX RDF
17	Toni Jussila, Carsten Sinz, Armin Biere	Extended Resolution Proofs for Symbolic SAT Solving with Quantification.	SAT	2006	DBLP DOI BibTeX RDF
17	Chong Fu, Pei-rong Wang, Xi-min Ma, Zhe Xu, Wei-yong Zhu	A Fast Pseudo Stochastic Sequence Quantification Algorithm Based on Chebyshev Map and Its Application in Data Encryption.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
17	Miyuki Imada, Masakatsu Ohta, Masayasu Yamaguchi	LooM: An Anonymity Quantification Method in Pervasive Computing Environments.	AINA (2)	2006	DBLP DOI BibTeX RDF
17	Javier Álvez, Paqui Lucio	Equational Constraint Solving Via a Restricted Form of Universal Quantification.	FoIKS	2006	DBLP DOI BibTeX RDF	constraint satisfaction, equality, solver, answer, term algebra
17	Liyu Huang, Weirong Wang, Sekou Singare	Recurrence Quantification Analysis of EEG Predicts Responses to Incision During Anesthesia.	ICONIP (3)	2006	DBLP DOI BibTeX RDF
17	Ulf-Dietrich Braumann, Jens-Peer Kuska, Jens Einenkel, Lars-Christian Horn, Markus Löffler, Michael Höckel	Three-dimensional reconstruction and quantification of cervical carcinoma invasion fronts from histological serial sections.	IEEE Trans. Medical Imaging	2005	DBLP DOI BibTeX RDF
17	Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer	Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking.	DATE	2005	DBLP DOI BibTeX RDF
17	Suhuai Luo, Jesse S. Jin	Recent Progresses on Cerebral Vasculature Segmentation for 3D Quantification and Visualization of MRA.	ICITA (1)	2005	DBLP DOI BibTeX RDF
17	Christopher Griffin 0001, Bharat B. Madan, Kishor S. Trivedi	State Space Approach to Security Quantification.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
17	Daniel Sánchez 0001, Andrea Tettamanzi	Reasoning and Quantification in Fuzzy Description Logics.	WILF	2005	DBLP DOI BibTeX RDF
17	Wen-Ting Lin, Kuen-Pin Wu, Wei-Neng Hung, Yi-Hwa Yian, Yet-Ran Chen, Yu-Ju Chen, Ting-Yi Sung, Wen-Lian Hsu	MassTRAQ: a Fully Automated Tool for iTRAQ-labeled Protein Quantification.	CSB Workshops	2005	DBLP DOI BibTeX RDF
17	Michael Thielscher	Handling Implication and Universal Quantification Constraints in FLUX.	CP	2005	DBLP DOI BibTeX RDF
17	Xenophon Papademetris, Pavel Shkarin, Lawrence H. Staib, Kevin L. Behar	Regional Whole Body Fat Quantification in Mice.	IPMI	2005	DBLP DOI BibTeX RDF
17	Rui He, Jianwei Niu 0002, Guangwei Zhang	CBTM: A Trust Model with Uncertainty Quantification and Reasoning for Pervasive Computing.	ISPA	2005	DBLP DOI BibTeX RDF
17	Amparo Fúster-Sabater, Pino Caballero-Gil	A Deterministic Approach to Balancedness and Run Quantification in Pseudorandom Pattern Generators.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF
17	Byeong Il Lee, Jae Sung Lee, Dong Soo Lee, Seungjin Choi	Myocardial Blood Flow Quantification in Dynamic PET: An Ensemble ICA Approach.	ICANN (2)	2005	DBLP DOI BibTeX RDF
17	Ricardo Vilalta, Tomasz F. Stepinski, Murali-Krishna Achari, Francisco Ocegueda-Hernandez	A Quantification of Cluster Novelty with an Application to Martian Topography.	PKDD	2004	DBLP DOI BibTeX RDF
17	Sandip Ray, Warren A. Hunt Jr.	Deductive Verification of Pipelined Machines Using First-Order Quantification.	CAV	2004	DBLP DOI BibTeX RDF
17	Daniel Sánchez 0001, Andrea Tettamanzi	Generalizing Quantification in Fuzzy Description Logics.	Fuzzy Days	2004	DBLP DOI BibTeX RDF
17	Vassili A. Kovalev, Frithjof Kruggel	A New Method for Quantification of Age-Related Brain Changes.	ICPR (3)	2004	DBLP DOI BibTeX RDF	3D volumetric texture, aging, brain, co-occurrence
17	Keisuke Aoki, Junzo Watada	Data mining method from text database based on fuzzy quantification analysis.	SMC (7)	2004	DBLP DOI BibTeX RDF
17	Stefan Wörz, Karl Rohr	3D Segmentation and Quantification of Human Vessels Based on a New 3D Parametric Intensity Model.	DAGM-Symposium	2004	DBLP DOI BibTeX RDF
17	Stefan Wörz, Karl Rohr	A New 3D Parametric Intensity Model for Accurate Segmentation and Quantification of Human Vessels.	MICCAI (1)	2004	DBLP DOI BibTeX RDF
17	Anthony Santella, Douglas DeCarlo	Robust clustering of eye movement recordings for quantification of visual interest.	ETRA	2004	DBLP DOI BibTeX RDF	measures of visual interest, clustering, mean shift, eye movement analysis
17	Estelle Glory, A. Faure, Vannary Meas-Yedid, Florence Cloppet, Christian Pinset, Georges Stamon, Jean-Christophe Olivo-Marin	A Quantification Tool to Analyse Stained Cell Cultures.	ICIAR (2)	2004	DBLP DOI BibTeX RDF
17	Oliver Weinheimer, Tobias Achenbach, Christian Buschsiewke, Claus Peter Heussel, Thomas Uthmann, Hans-Ulrich Kauczor	Quantification and Characterization of Pulmonary Emphysema in Multislice-CT.	ISMDA	2003	DBLP DOI BibTeX RDF
17	Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi	Modeling and Quantification of Security Attributes of Software Systems.	DSN	2002	DBLP DOI BibTeX RDF
17	Yasushi Hirano, Jun-ichi Hasegawa, Jun-ichiro Toriwaki, Hironobu Ohmatsu, Kenji Eguchi	Quantification of Shrinkage of Lung Lobe from Chest CT Images Using the 3D Extended Voronoi Division and its Application to the Benign/Malignant Discrimination of Tumor Shadows.	ICPR (1)	2002	DBLP DOI BibTeX RDF
17	Dakshi Agrawal, Charu C. Aggarwal	On the Design and Quantification of Privacy Preserving Data Mining Algorithms. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
17	Erik Meijering, Wiro J. Niessen, Joachim Weickert, Max A. Viergever	Evaluation of Diffusion Techniques for Improved Vessel Visualization and Quantification in Three-Dimensional Rotational Angiography.	MICCAI	2001	DBLP DOI BibTeX RDF
17	Julian Mattes, Johannes Fieres, Joël Beaudouin, Daniel Gerlich, Jan Ellenberg, Roland Eils	New Tools for Visualization and Quantification in Dynamic Processes: Application to the Nuclear Envelope Dynamics During Mitosis.	MICCAI	2001	DBLP DOI BibTeX RDF
17	Nicole Vincent, Thierry Frêche	Gray Level Use in a Handwriting Fractal Approach and Morphological Properties Quantification.	ICDAR	2001	DBLP DOI BibTeX RDF
17	Konstantin Knorr, Susanne Röhrig	Security of Electronic Business Applications - Structure and Quantification.	EC-Web	2000	DBLP DOI BibTeX RDF	security quantifier, electronic business application, security
17	Markus Marzetta, Thomas Strahm	The m\mu quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF
17	Christof Monz, Maarten de Rijke	A Tableaux Calculus for Ambiguous Quantification.	TABLEAUX	1998	DBLP DOI BibTeX RDF
17	Guillaume Calmon, Neil Roberts, Paul Eldridge, Jean-Philippe Thirion	Automatic Quantification of Changes in the Volume of Brain Structures.	MICCAI	1998	DBLP DOI BibTeX RDF
17	Andreas Gawecki, Florian Matthes	Integrating Subtyping, Matching and Type Quantification: A Practical Perspective.	ECOOP	1996	DBLP DOI BibTeX RDF
17	Didier Scellier, Jean-Yves Boire, Cyril Thouly, Jean Maublant	Application of skeletonization algorithms for myocardial spect quantification.	DGCI	1996	DBLP DOI BibTeX RDF	scintigraphy, segmentation, fuzzy logic, Skeleton
17	Ken Barker 0001	Quantification of autonomy on multidatabase systems.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	multidatabase management system, autonomy, Multidatabases
17	Giuseppe Castagna, Benjamin C. Pierce	Decidable Bounded Quantification.	POPL	1994	DBLP DOI BibTeX RDF
17	Felice Cardone	Relational Semantics for Recursive Types and Bounded Quantification.	ICALP	1989	DBLP DOI BibTeX RDF
15	Mohammad Gias Uddin 0001, Mohammad Zulkernine	ATM: an automatic trust monitoring algorithm for service software.	SAC	2009	DBLP DOI BibTeX RDF	interaction, trust, monitoring
15	Andreas Bauer 0002, Rajeev Goré, Alwen Tiu	A First-Order Policy Language for History-Based Transaction Monitoring.	ICTAC	2009	DBLP DOI BibTeX RDF
15	Colin Riba	On the Values of Reducibility Candidates.	TLCA	2009	DBLP DOI BibTeX RDF
15	Itamar Francez	No i-Sums for Nissim (and Shalom).	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF	Donkey anaphora, E-type pronouns, strong and weak readings, i-sums
15	Timos Antonopoulos, Anuj Dawar	Separating Graph Logic from MSO.	FoSSaCS	2009	DBLP DOI BibTeX RDF
15	Wooi-Haw Tan, Rosli Besar	Segmentation of the Left Ventricle in Myocardial Perfusion SPECT Using Active Shape Model.	IVIC	2009	DBLP DOI BibTeX RDF	Image segmentation, deformable models, medical image analysis
15	Dime Vitanovski, Razvan Ioan Ionasec, Bogdan Georgescu, Martin Huber 0001, Andrew Mayall Taylor, Joachim Hornegger, Dorin Comaniciu	Personalized Pulmonary Trunk Modeling for Intervention Planning and Valve Assessment Estimated from CT Data.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
15	Sagar Chaki, Arie Gurfinkel, Ofer Strichman	Decision diagrams for linear arithmetic.	FMCAD	2009	DBLP DOI BibTeX RDF
15	Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar	Verification of parametric concurrent systems with prioritised FIFO resource management.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Parameterised verification, Infinite-state system verification, Cut off, Parameterised networks of processes, Model checking, Formal verification, Resource sharing
15	Zhengli Huang, Wenliang Du	OptRR: Optimizing Randomized Response Schemes for Privacy-Preserving Data Mining.	ICDE	2008	DBLP DOI BibTeX RDF
15	Hélène Ratiney, Adriana Bucur, Michaël Sdika, Olivier Beuf, Franck Pilleul, Sophie Cavassila	Effective voigt model estimation using multiple random starting values and parameter bounds settings for in vivo hepatic 1H magnetic resonance spectroscopic data.	ISBI	2008	DBLP DOI BibTeX RDF
15	Thorsten Alexander Kern, Roland Werthschützky	Studies of the Mechanical Impedance of the Index Finger in Multiple Dimensions.	EuroHaptics	2008	DBLP DOI BibTeX RDF	mechanical impedance, impedance measurement head, index finger, spectrum analysis
15	Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer	Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.	FMCAD	2008	DBLP DOI BibTeX RDF
15	Shiying Zhou, Guihe Qin, Yubo Jin	VT Position Code Communication Technology and Its Implementation.	RAM	2008	DBLP DOI BibTeX RDF
15	Jing Yang 0006, Sarawan Wongsa, Visakan Kadirkamanathan, Stephen A. Billings, Phillip C. Wright	Metabolic Flux Estimation-A Self-Adaptive Evolutionary Algorithm with Singular Value Decomposition.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	metabolic flux analysis, Evolutionary computing, singular value decomposition, least squares method
15	Dong-Han Ham, Jeongyun Heo, Peter Fossick, B. L. William Wong, Sanghyun Park, Chiwon Song, Mike D. Bradley	Model-Based Approaches to Quantifying the Usability of Mobile Phones.	HCI (2)	2007	DBLP DOI BibTeX RDF
15	Antonis Daskalakis, Dionisis A. Cavouras, Panagiotis Bougioukos, Spiros Kostopoulos, Ioannis Kalatzis, George C. Kagadis, George Nikiforidis	Development of a Cascade Processing Method for Microarray Spot Segmentation.	IbPRIA (1)	2007	DBLP DOI BibTeX RDF
15	Elsa D. Angelini, Jamal Atif, Julie Delon, Emmanuel Mandonnet, Hugues Duffau, Laurent Capelle	Detection of Glioma Evolution on Longitudinal Mri Studies.	ISBI	2007	DBLP DOI BibTeX RDF
15	Mahir Sinan Ozdemir, Yves De Deene, Eric Achten, Yves D'Asseler, Ignace Lemahieu	Quantitative Proton Magnetic Resonance Spectroscopy in Presence of Sidebands.	ISBI	2007	DBLP DOI BibTeX RDF
15	Wieslaw L. Nowinski, Guoyu Qian, K. N. Bhanu Prakash, Ihar Volkau, Wing Keet Leong, Su Huang, Anand Ananthasubramaniam, Jimin Liu, Ting Ting Ng, Varsha Gupta	Stroke Suite: Cad Systems for Acute Ischemic Stroke, Hemorrhagic Stroke, and Stroke in ER.	MIMI	2007	DBLP DOI BibTeX RDF	infarct, hemorrhage, blood supply territories, MR, CT, stroke, anatomy, penumbra, brain atlas
15	Bang-Hung Yang, Shyh-Jen Wang, Yuan-Hwa Chou, Tung-Ping Su, Shih-Pei Chen, Jih-Shian Lee, Jyh-Cheng Chen	Evaluation of Reference Tissue Model for Serotonin Transporters Using [123I] ADAM Tracer.	MIMI	2007	DBLP DOI BibTeX RDF	serotonin transporters, reference tissue model, [123I] ADAM, binding potential
15	Carlos Olarte, Catuscia Palamidessi, Frank Valencia	Universal Timed Concurrent Constraint Programming.	ICLP	2007	DBLP DOI BibTeX RDF
15	Volker Stolz	Temporal Assertions with Parametrised Propositions.	RV	2007	DBLP DOI BibTeX RDF
15	Jânio M. Monteiro, Mário Serafim Nunes	A Subjective Quality Estimation Tool for the Evaluation of Video Communication Systems.	ISCC	2007	DBLP DOI BibTeX RDF
15	Hideyuki Maki, Hiroshi Takayanagi, Toshimasa Yamazaki, Ken'ichi Kamijo, Takahiro Yamanoi	Movement imagery classification on the basis of single-trial EEGs.	SMC	2007	DBLP DOI BibTeX RDF
15	Mani Thomas, Cathleen A. Geiger, Chandra Kambhamettu	Vector field characterization in ERS-1 imagery of sea ice.	WACV	2007	DBLP DOI BibTeX RDF
15	Mohammad Dawood, Norbert Lang, Xiaoyi Jiang 0001, Klaus P. Schäfers	Lung motion correction on respiratory gated 3-D PET/CT images.	IEEE Trans. Medical Imaging	2006	DBLP DOI BibTeX RDF
15	Arnold M. R. Schilham, Bram van Ginneken, H. A. Gietema, Mathias Prokop	Local noise weighted filtering for emphysema scoring of low-dose CT images.	IEEE Trans. Medical Imaging	2006	DBLP DOI BibTeX RDF
15	Laurent Cauffriez, Vincent Benard, Dominique Renaux	A New Formalism for Designing and Specifying RAMS Parameters for Complex Distributed Control Systems: The Safe-SADT Formalism.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
15	Dror G. Feitelson	Metrics for Mass-Count Disparity.	MASCOTS	2006	DBLP DOI BibTeX RDF
15	Hans C. van Assen, Alejandro F. Frangi, Mikhail G. Danilouchkine, Sebastián Ordas, Jos J. M. Westenberg, Johan H. C. Reiber, Boudewijn P. F. Lelieveldt	Efficient reconstruction of cardiac LV surfaces using a 3D sparse ASM.	ISBI	2006	DBLP DOI BibTeX RDF
15		Estimating neutral divergence amongst Mammals for Comparative Genomics with Mammalian scope.	ICIT	2006	DBLP DOI BibTeX RDF
15	Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen	Towards a Model-Checker for Counter Systems.	ATVA	2006	DBLP DOI BibTeX RDF
15	Umut Topkara, Mercan Topkara, Mikhail J. Atallah	The hiding virtues of ambiguity: quantifiably resilient watermarking of natural language text through synonym substitutions.	MM&Sec	2006	DBLP DOI BibTeX RDF	homograph, natural language text, synonym substitution, information hiding
15	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks 0001	Existential Label Flow Inference Via CFL Reachability.	SAS	2006	DBLP DOI BibTeX RDF
15	Michal Chlebiej, Pawel Mikolajczak, Krzysztof Nowinski, Piotr Scislo, Piotr Bala	Generation of Dynamic Heart Model Based on 4D Echocardiographic Images.	ICCSA (5)	2006	DBLP DOI BibTeX RDF
15	Arend Rensink	Model Checking Quantified Computation Tree Logic.	CONCUR	2006	DBLP DOI BibTeX RDF
15	Alexei V. Ivanov, Alexander A. Petrovsky	Markov Coding Strategy of the Simple Spiking Model of Auditory Neuron.	IJCNN	2006	DBLP DOI BibTeX RDF
15	Félix Díaz-Hermida, David E. Losada, Alberto Bugarín, Senén Barro	A Probabilistic Quantifier Fuzzification Mechanism: The Model and Its Evaluation for Information Retrieval.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
15	Martin Hofmann 0001	Proof-Theoretic Approach to Description-Logic.	LICS	2005	DBLP DOI BibTeX RDF
15	Yasunobu Nohara, Sozo Inoue, Kensuke Baba, Hiroto Yasuura	Quantitative evaluation of unlinkable ID matching schemes.	WPES	2005	DBLP DOI BibTeX RDF	degree of unlinkability, k-steps ID matching, privacy, RFID security
15	Witold Pedrycz	Granular Computing with Shadowed Sets.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	shadowed sets, principle of uncertainty localization, relational equations, data interpretation, cores of clusters, fuzzy sets, fuzzy clustering, outliers, three-valued logic
15	Anders Ericsson, Markus Nowak Lonsdale, Kalle Åström, Lars Edenbrandt, Lars Friberg	Decision Support System for the Diagnosis of Parkinson's Disease.	SCIA	2005	DBLP DOI BibTeX RDF
15	Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi	Regular Vacuity.	CHARME	2005	DBLP DOI BibTeX RDF
15	Michael Soltys	LA, Permutations, and the Hajós Calculus.	ICALP	2004	DBLP DOI BibTeX RDF
15	Jinbo Huang, Adnan Darwiche	Toward Good Elimination Orders for Symbolic SAT Solving.	ICTAI	2004	DBLP DOI BibTeX RDF
15	Christian Locher, Jens Ingo Mehlau, Oliver Wild	Towards Risk Adjusted Controlling of Strategic IS Projects in Banks in the Light of Basel II.	HICSS	2004	DBLP DOI BibTeX RDF
15	Yinpeng Jin, Celina Imielinska, Andrew Laine, Jayaram K. Udupa, Wei Shen, Steven B. Heymsfield	Segmentation and Evaluation of Adipose Tissue from Whole Body MRI Scans.	MICCAI (1)	2003	DBLP DOI BibTeX RDF
15	Tim French 0002	Quantified Propositional Temporal Logic with Repeating States.	TIME	2003	DBLP DOI BibTeX RDF
15	Tim French 0002	Decidability of Propositionally Quantified Logics of Knowledge.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
15	Raymond McDowell, Dale Miller 0001	Reasoning with higher-order abstract syntax in a logical framework.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	induction, Definitions, logical frameworks, higher-order abstract syntax
15	Mario Bravetti	An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF