model refinement - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 2997

2012

A Theory of Software Product Line RefinementPaulo Borba, Leopoldo Teixeira, Rohit Gheyi. TCS, (0), 2012. [doi]

Error concealment by means of motion refinement and regularized bregman divergenceAlessandra Martins Coelho, Vania Vieira Estrela, Felipe Pereira do Carmo, Sandro Roberto Fernandes, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Alessandra Martins Coelho, Sandro Roberto Fernandes, Alessandra Martins Coelho, Sandro Roberto Fernandes, Alessandra Martins Coelho, Alessandra Martins Coelho, Vânia Estrela, Vânia Vieira Estrela, Vania Vieira Estrela. In Proceedings of the 13th international conference on Intelligent Data Engineering and Automated Learning. 2012: 650-657 [doi]

Design and Comparative Evaluation of Smoothed Pointing: a Velocity-oriented Remote Pointing Enhancement TechniqueLuigi Gallo, Aniello Minutolo. International Journal of Human-Computer Studies, 70(4):287-300, 2012. [doi]

2011

Kinetic mesh refinement in 2DUmut A. Acar, Benoît Hudson, Duru Türkoglu. compgeom 2011: 341-350 [doi]

Efficiency Based Adaptive Local Refinement for First-Order System Least-Squares FormulationsJ. H. Adler, Thomas A. Manteuffel, Stephen F. McCormick, J. W. Nolting, John Ruge, L. Tang. siamsc, 33(1):1-24, 2011. [doi]

An Inductive Approach for Modal Transition System RefinementDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel. ICLP 2011: 106-116 [doi]

Rapidly-exploring roadmaps: Weighing exploration vs. refinement in optimal motion planningRon Alterovitz, Sachin Patil, Anna Derbakova. icra 2011: 3706-3712 [doi]

Retrospective-cost-based adaptive model refinement for the ionosphere and thermosphereAnthony M. D Amato, Aaron J. Ridley, Dennis S. Bernstein. sadm, 4(4):446-458, 2011. [doi]

Refinement of Strong Stackelberg Equilibria in Security GamesBo An, Milind Tambe, Fernando Ordóñez, Eric Shieh, Christopher Kiekintveld. AAAI 2011: 587-593 [doi]

SemRank: ranking refinement strategy by using the semantic intensityNida Aslam, Irfan-Ullah Awan, Jonathan Loo, Roohullah, Martin Loomes. procedia, 3:420-425, 2011. [doi]

When Is a Type Refinement an Inductive Type?Robert Atkey, Patricia Johann, Neil Ghani. fossacs 2011: 72-87 [doi]

Model-Based Refinement of Security Policies in Collaborative Virtual OrganisationsBenjamin Aziz, Alvaro E. Arenas, Michael D. Wilson. ESSoS 2011: 1-14 [doi]

Maintaining Database Integrity with Refinement TypesIoannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon. ECOOP 2011: 484-509 [doi]

Disparity map refinement and 3D surface smoothing via directed anisotropic diffusionAtsuhiko Banno, Katsushi Ikeuchi. cviu, 115(5):611-619, 2011. [doi]

Refinement-Based CFG Reconstruction from Unstructured ProgramsSébastien Bardin, Philippe Herrmann, Franck Védrine. vmcai 2011: 54-69 [doi]

Quantitative Refinement for Weighted Modal Transition SystemsSebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane. mfcs 2011: 60-71 [doi]

Adaptive mesh refinement for stochastic reaction-diffusion processesBasil Bayati, Philippe Chatelain, Petros Koumoutsakos. jcphy, 230(1):13-26, 2011. [doi]

Refinement types for secure implementationsJesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis. TOPLAS, 33(2):8, 2011. [doi]

A Grid-enabled web portal for NMR structure refinement with AMBERIvano Bertini, David A. Case, Lucio Ferella, Andrea Giachetti, Antonio Rosato. bioinformatics, 27(17):2384-2390, 2011. [doi]

UML/OCL and RefinementMohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté. ECBS 2011: 149-158 [doi]

Selected papers of the Refinement Workshop Turku (2008)Eerke A. Boiten, John Derrick, Gerhard Schellhorn. SCP, 76(9):737-738, 2011. [doi]

Refinement and Connectivity Algorithms for Adaptive Discontinuous Galerkin MethodsKolja Brix, Ralf Massjung, Alexander Voss. siamsc, 33(1):66-101, 2011. [doi]

Automated verification and refinement for physical-layer protocolsGeoffrey M. Brown, Lee Pike. fac, 23(3):243-266, 2011. [doi]

Some Mathematical Refinements Concerning Error Minimization in the Genetic CodeHarry Buhrman, Peter T. S. van der Gulik, Steven Kelk, Wouter M. Koolen, Leen Stougie. tcbb, 8(5):1358-1372, 2011. [doi]

p4est: Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of OctreesCarsten Burstedde, Lucas C. Wilcox, Omar Ghattas. siamsc, 33(3):1103-1133, 2011. [doi]

Context-sensitive refinements for stochastic optimisation algorithms in inductive logic programmingPetr Buryan, Jirí Kubalík. air, 35(1):19-36, 2011. [doi]

Testing for refinement in ::::Circus::::Ana Cavalcanti, Marie-Claude Gaudel. ACTA, 48(2):97-147, 2011. [doi]

Failure-Divergence Refinement of Compensating Communicating ProcessesZhenbang Chen, Zhiming Liu, Ji Wang. FM 2011: 262-277 [doi]

The Rayleigh-Ritz method, refinement and Arnoldi process for periodic matrix pairsEric King-Wah Chu, Hung-Yuan Fan, Zhongxiao Jia, Tie-xiang Li, Wen-Wei Lin. jcam, 235(8):2626-2639, 2011. [doi]

Computational refinement of post-translational modifications predicted from tandem mass spectrometryClement Chung, Jian Liu, Andrew Emili, Brendan J. Frey. bioinformatics, 27(6):797-806, 2011. [doi]

Refinement Trees: Calculi, Tools, and ApplicationsMihai Codescu, Till Mossakowski. calco 2011: 145-160 [doi]

Relational Concurrent Refinement: Timed RefinementJohn Derrick, Eerke A. Boiten. forte 2011: 121-137 [doi]

Localized Delaunay Refinement for VolumesTamal K. Dey, Andrew G. Slatton. cgf, 30(5):1417-1426, 2011. [doi]

Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level PoliciesOliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing. policy 2011: 97-104 [doi]

On Successive Refinement of Diversity for Fading ISI ChannelsSanket Dusad, Suhas N. Diggavi. tcom, 59(7):1820-1829, 2011. [doi]

Local abstraction-refinement for the ::::μ::::-calculusHarald Fecher, Sharon Shoham. STTT, 13(4):289-306, 2011. [doi]

Accurate assessment of the strain energy in a protein-bound drug using QM/MM X-ray refinement and converged quantum chemistryZheng Fu, Xue Li, Kenneth M. Merz Jr.. jcc, 32(12):2587-2597, 2011. [doi]

Using Bisimulations for Optimality Problems in Model RefinementRoland Glück. RelMiCS 2011: 164-179 [doi]

Exploiting Path Refinement Abstraction in Domain Transition GraphsPeter Gregory, Derek Long, Craig McNulty, Susan M. Murphy. AAAI 2011: 971-976 [doi]

Predicate abstraction and refinement for verifying multi-threaded programsAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko. POPL 2011: 331-344 [doi]

Adjoint-based error estimation and adaptive mesh refinement for the RANS and k-ω turbulence model equationsRalf Hartmann, Joachim Held, Tobias Leicht. jcphy, 230(11):4268-4284, 2011. [doi]

Locally affine patch mapping and global refinement for image super-resolutionRui He, Zhenyue Zhang. PR, 44(9):2210-2219, 2011. [doi]

Scheduling large jobs by abstraction refinementThomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey. eurosys 2011: 329-342 [doi]

Simulation refinement for concurrency verificationWim H. Hesselink. SCP, 76(9):739-755, 2011. [doi]

Robust refinement methods for camera calibration and 3D reconstruction from multiple imagesMaw-Kae Hor, Cheng-Yuan Tang, Yi-Leh Wu, Kai-Hsuan Chan, Jeng-Jiun Tsai. prl, 32(8):1210-1221, 2011. [doi]

A refinement of prudent choicesNicolas Houy. mss, 61(3):166-169, 2011. [doi]

Automata Learning with Automated Alphabet Abstraction RefinementFalk Howar, Bernhard Steffen, Maik Merten. vmcai 2011: 263-277 [doi]

Capturing expert knowledge of mesh refinement in numerical methods of impact analysis by means of genetic programmingDaniel Howard, Adrian Brezulianu. soco, 15(1):103-110, 2011. [doi]

Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinementSumit Kumar Jha, Christopher James Langmead. TCS, 412(21):2162-2187, 2011. [doi]

Deinterlacing method based on edge direction refinement using weighted maximum frequent filterJee-Hoon Jung, Sung-Hoon Hong. icuimc 2011: 36 [doi]

Feature-driven Cartesian adaptive mesh refinement for vortex-dominated flowsS. J. Kamkar, Andrew M. Wissink, Venkateswaran Sankaran, A. Jameson. jcphy, 230(16):6271-6298, 2011. [doi]

Managing complexity in design debugging with sequential abstraction and refinementBrian Keng, Andreas G. Veneris. aspdac 2011: 479-484 [doi]

Nonobtuse local tetrahedral refinements towards a polygonal face/interfaceSergey Korotov, Michal Krízek. appml, 24(6):817-821, 2011. [doi]

Learning-based concept-hierarchy refinement through exploiting topology, content and social informationTsung-Ting Kuo, Shou-de Lin. isci, 181(12):2512-2528, 2011. [doi]

Scaling abstraction refinement via pruningPercy Liang, Mayur Naik. PLDI 2011: 590-601 [doi]

Reliable protein structure refinement using a physical energy functionMatthew S. Lin, Teresa Head-Gordon. jcc, 32(4):709-717, 2011. [doi]

Required Behavior of Sequence Diagrams: Semantics and RefinementLunjin Lu, Dae-Kyoo Kim. ICECCS 2011: 127-136 [doi]

Scalable parallel regridding algorithms for block-structured adaptive mesh refinementJustin Luitjens, Martin Berzins. concurrency, 23(13):1522-1537, 2011. [doi]

Refinements of (n, m)-Dyck pathsJun Ma, Yeong-Nan Yeh. ejc, 32(1):92-99, 2011. [doi]

MPI Parallelization of PIC Simulation with Adaptive Mesh RefinementTatsuki Matsui, Hideyuki Usui, Toseo Moritaka, Masanori Nunami. pdp 2011: 277-281 [doi]

Error bounds for a class of subdivision schemes based on the two-scale refinement equationMaría Moncayo, Sergio Amat. jcam, 236(2):265-278, 2011. [doi]

Refinements of Universal Approximation Results for Deep Belief Networks and Restricted Boltzmann MachinesGuido Montufar, Nihat Ay. neco, 23(5):1306-1319, 2011. [doi]

Refinement-Based Verification of Local Synchronization AlgorithmsDominique Méry, Mohamed Mosbah, Mohamed Tounsi. FM 2011: 338-352 [doi]

RAIphy: Phylogenetic classification of metagenomics samples using iterative refinement of relative abundance index profilesOzkan U. Nalbantoglu, Samuel F. Way, Steven H. Hinrichs, Khalid Sayood. bmcbi, 12:41, 2011. [doi]

A Quality Assurance Framework for Ontology Construction and RefinementMamoru Ohta, Kouji Kozaki, Riichiro Mizoguchi. awic 2011: 207-216 [doi]

A tactic language for refinement of state-rich concurrent specificationsMarcel Oliveira, Frank Zeyda, Ana Cavalcanti. SCP, 76(9):792-833, 2011. [doi]

Comparison between self-guided langevin dynamics and molecular dynamics simulations for structure refinement of protein loop conformationsMark A. Olson, Sidhartha Chaudhury, Michael S. Lee. jcc, 32(14):3014-3022, 2011. [doi]

A community question-answering refinement systemMaria Soledad Pera, Yiu-Kai Ng. ht 2011: 251-260 [doi]

Variable-Length Source Compression Using Successive Refinement and Non-linear Graph-Based CodesFrancisco Ramirez-Javega, Meritxell Lamarca. dcc 2011: 473 [doi]

Contexts, refinement and determinismSteve Reeves, David Streader. SCP, 76(9):774-791, 2011. [doi]

The Tumor Therapy Manager - Design, Refinement and Clinical Use of a Software Product for ENT Surgery Planning and DocumentationIvo Rössling, Jana Dornheim, Lars Dornheim, Andreas Boehm, Bernhard Preim. ipcai 2011: 1-12 [doi]

A new iterative refinement of the solution of ill-conditioned linear system of equationsDavod Khojasteh Salkuyeh, Atefeh Fahim. ijcm, 88(5):950-956, 2011. [doi]

Completeness of fair ASM refinementGerhard Schellhorn. SCP, 76(9):756-773, 2011. [doi]

Changing system interfaces consistently: A new refinement strategy for CSP||BSteve Schneider, Helen Treharne. SCP, 76(10):837-860, 2011. [doi]

Iterative refinement of specification for component based embedded systemsMuzammil Shahbaz, K. C. Shashidhar, Robert Eschbach. ISSTA 2011: 276-286 [doi]

Adaptive mesh refinement based on high order finite difference WENO scheme for multi-scale simulationsChaopeng Shen, Jing-Mei Qiu, Andrew J. Christlieb. jcphy, 230(10):3780-3802, 2011. [doi]

An Iterative Refinement Algorithm for the Minimum Branch Vertices ProblemDiego M. Silva, Ricardo M. A. Silva, Geraldo R. Mateus, José Fernando Gonçalves, Mauricio G. C. Resende, Paola Festa. wea 2011: 421-433 [doi]

A new refinement of the Janous-Gmeiner inequality for a triangleH. M. Srivastava, V. Lokesha, Yu-Dong Wu. cma, 62(5):2349-2353, 2011. [doi]

Iterative Shape Refinement in AAMYa Su, Xinbo Gao. ijig, 11(1):137-151, 2011. [doi]

NonLinear refinement of structure from motion reconstruction by taking advantage of a partial knowledge of the environmentMohamed Tamaazousti, Vincent Gay-Bellile, Sylvie Naudet-Collette, Steve Bourgeois, Michel Dhome. cvpr 2011: 3073-3080 [doi]

Making Abstraction-Refinement Efficient in Model CheckingCong Tian, Zhenhua Duan. cocoon 2011: 402-413 [doi]

A Multi-Scale Electromagnetic Particle Code with Adaptive Mesh Refinement and Its ParallelizationHideyuki Usui, Masanori Nunami, Toseo Moritaka, Tatsuki Matsui, Yohei Yagi. procedia, 4:2337-2343, 2011. [doi]

Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. apn 2011: 149-168 [doi]

Mutual Information Refinement for Flash-no-Flash Image AlignmentSami Varjo, Jari Hannuksela, Olli Silvén, Sakari Alenius. acivs 2011: 405-416 [doi]

Standard and goal-oriented adaptive mesh refinement applied to radiation transport on 2D unstructured triangular meshesYaqi Wang, Jean C. Ragusa. jcphy, 230(3):763-788, 2011. [doi]

On the Role of the Refinement Layer in Multiple Description Coding and Scalable CodingJia Wang, Jun Chen, Lei Zhao, Paul Cuff, Haim H. Permuter. TIT, 57(3):1443-1456, 2011. [doi]

Applying Optimal Stopping Theory to Improve the Performance of Ontology Refinement MethodsAlbert Weichselbraun, Gerhard Wohlgenannt, Arno Scharl. hicss 2011: 1-10 [doi]

A note on Wilkinson s iterative refinement of solution with automatic step-size controlXinyuan Wu, Xiaoxuan Wu. ijcm, 88(6):1192-1200, 2011. [doi]

Synthesis and Refinement of Detailed Subnetworks in a Social Contact Network for Epidemic SimulationsHuadong Xia, Jiangzhuo Chen, Madhav V. Marathe, Henning S. Mortveit. sbp 2011: 366-373 [doi]

User-centric query refinement and processing using granularity-based strategiesYi Zeng, Ning Zhong, Yan Wang, Yulin Qin, Zhisheng Huang, Haiyan Zhou, Yiyu Yao, Frank van Harmelen. kais, 27(3):419-450, 2011. [doi]

Policy refinement of network services for MANETsHang Zhao, Jorge Lobo, Arnab Roy, Steven M. Bellovin. im 2011: 113-120 [doi]

2010

Automatic LEFM crack propagation method based on local Lepp-Delaunay mesh refinementDavid AzÃ³car, Marcelo Elgueta, Maria-Cecilia Rivara. aes, 41(2):111-119, 2010. [doi]

Exploring hierarchical refinement techniques for induced fit docking with protein and ligand flexibilityKenneth W. Borrelli, Benjamin Cossins, Victor Guallar. jcc, 31(6):1224-1235, 2010. [doi]

The Localization Reduction and Counterexample-Guided Abstraction RefinementEdmund M. Clarke, Robert P. Kurshan, Helmut Veith. BIRTHDAY 2010: 61-71 [doi]

Abstraction and Refinement for Local ReasoningThomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse. vstte 2010: 199-215 [doi]

Development of an object-oriented finite element program with adaptive mesh refinement for multi-physics applicationsJ. H. Nie, David A. Hopkins, Y. T. Chen, H. T. Hsieh. aes, 41(4):569-579, 2010. [doi]

Motion-based video segmentation with boundary refinementAndrew J. Patti. icassp 2010: 1138-1141 [doi]

Refinement Techniques for Animated Evolutionary Photomosaics Using Limited Tile CollectionsShahrul Badariah Mat Sah, Victor Ciesielski, Daryl J. D Souza. evoW 2010: 281-290 [doi]

Using Expressive Traceability Relationships for Ensuring Consistent Process Model RefinementSchwarz, Hannes, Ebert, J\"urgen, Lemcke, Jens, Rahmani, Tirdad, Srdjan Zivkovic. In Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems. 2010:

Blind docking method combining search of low-resolution binding sites with ligand pose refinement by molecular dynamics-based global optimizationYury N. Vorobjev. jcc, 31(5):1080-1092, 2010. [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Tag: model refinement

Viewing Publication 1 - 100 from 2997

2012

2011

2010

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Tag: model refinement

Viewing Publication 1 - 100 from 2997

2012

2011

2010

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1