Search results for "Refinements"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Samuel R. Buss, Jan Hoffmann 0002, Jan Johannsen	Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning	CoRR	2008	DBLP BibTeX RDF
17	G. M. Zambruno	Some refinements on fixed income performance attribution.	Eur. J. Oper. Res.	2008	DBLP DOI BibTeX RDF
17	Samuel R. Buss, Jan Hoffmann 0002, Jan Johannsen	Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning.	Log. Methods Comput. Sci.	2008	DBLP DOI BibTeX RDF
17	Outi Räihä, Kai Koskimies, Erkki Mäkinen, Tarja Systä	Pattern-Based Genetic Model Refinements in MDA.	Nord. J. Comput.	2008	DBLP BibTeX RDF
17	Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières	Incremental development of UML specifications using operation refinements.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Incremental specification, UML, Refinement, B
17	Deyi Xiong, Min Zhang 0005, AiTi Aw, Haitao Mi, Qun Liu 0001, Shouxun Lin	Refinements in BTG-based Statistical Machine Translation.	IJCNLP	2008	DBLP BibTeX RDF
17	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine	Rule-Based Modelling, Symmetries, Refinements.	FMSB	2008	DBLP DOI BibTeX RDF
17	Sriram K. Rajamani	Tests, Proofs and Refinements.	ATVA	2008	DBLP DOI BibTeX RDF
17	Xiaojuan Luo, Mark S. Shephard, Lie-Quan Lee, Cho Ng, Lixin Ge	Tracking Adaptive Moving Mesh Refinements in 3D Curved Domains for Large-Scale Higher Order Finite Element Simulations.	IMR	2008	DBLP DOI BibTeX RDF
17	Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney	Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements.	Fundam. Informaticae	2007	DBLP BibTeX RDF
17	Joshua Buresh-Oppenheim, Toniann Pitassi	The complexity of resolution refinements.	J. Symb. Log.	2007	DBLP DOI BibTeX RDF
17	John Derrick, Heike Wehrheim	On using data abstractions for model checking refinements.	Acta Informatica	2007	DBLP DOI BibTeX RDF
17	Dominique Feillet, Michel Gendreau	New Refinements for the Solution of Vehicle Routing Problems with Branch and Price.	INFOR Inf. Syst. Oper. Res.	2007	DBLP DOI BibTeX RDF
17	Nils Ellmenreich, Christian Lengauer	Costing stepwise refinements of parallel programs.	Comput. Lang. Syst. Struct.	2007	DBLP DOI BibTeX RDF
17	Nikos Gorogiannis, Mark Ryan 0001	Minimal refinements of specifications in modal and temporal logics.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF
17	Nikos Gorogiannis, Mark Ryan 0001	Minimal refinements of specifications in modal and temporal logics.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF
17	Nikos Gorogiannis, Mark Ryan 0001	Minimal refinements of specifications in model and termporal logics.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF
17	Sirinoot Boonsuk, Proadpran Punyabukkana, Atiwong Suchato	Phone boundary detection using selective refinements and context-dependent acoustic features.	INTERSPEECH	2007	DBLP DOI BibTeX RDF
17	Didier Dubois, Hélène Fargier	Lexicographic Refinements of Sugeno Integrals.	ECSQARU	2007	DBLP DOI BibTeX RDF
17	Ay-Hwa Andy Liou, Tzong-Heng Chi, I-Jun Yu	Improving Genetic Algorithms with Solution Space Partitioning and Evolution Refinements.	ICNC (4)	2007	DBLP DOI BibTeX RDF
17	Patrick Cousot, Pierre Ganty, Jean-François Raskin	Fixpoint-Guided Abstraction Refinements.	SAS	2007	DBLP DOI BibTeX RDF
17	Ariadna Font Llitjós, Jaime G. Carbonell, Alon Lavie	Improving transfer-based MT systems with automatic refinements.	MTSummit	2007	DBLP BibTeX RDF
17	Alexander Rabinovich, Wolfgang Thomas	Logical Refinements of Church's Problem.	CSL	2007	DBLP DOI BibTeX RDF
17	Yunja Choi	Checking Interaction Consistency in MARMOT Component Refinements.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
17	Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly	Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study.	SSS	2007	DBLP DOI BibTeX RDF
17	Tarvo Raudvere	System Level Techniques for Verification and Synchronization after Local Design Refinements.		2007	RDF
17	Wojciech Olszewski	Rich language and refinements of cheap-talk equilibria.	J. Econ. Theory	2006	DBLP DOI BibTeX RDF
17	Gerard van der Laan, Dolf Talman, Zaifu Yang	Refinements of Stationary Points with Applications to Noncooperative Games and Economics.	SIAM J. Optim.	2006	DBLP DOI BibTeX RDF
17	Graeme Smith 0001, Kirsten Winter	Simulation Machines for Checking Action System Refinements.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
17	Georg Peters	Some refinements of rough k-means clustering.	Pattern Recognit.	2006	DBLP DOI BibTeX RDF
17	Manuel A. Martins 0001	Behavioral Institutions and Refinements in Generalized Hidden Logics.	J. Univers. Comput. Sci.	2006	DBLP DOI BibTeX RDF
17	Ronny Aboudi, Dominique Thon	Refinements of Muirhead's Lemma and income inequality.	Math. Soc. Sci.	2006	DBLP DOI BibTeX RDF
17	Ian F. Blake, V. Kumar Murty, Guangwu Xu	Refinements of Miller's algorithm for computing the Weil/Tate pairing.	J. Algorithms	2006	DBLP DOI BibTeX RDF
17	Jaime S. Cardoso 0001, Luís Corte-Real	A measure for mutual refinements of image segmentations.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
17	Sebastian Link, Klaus-Dieter Schewe, Jane Zhao	Refinements in Typed Abstract State Machines.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
17	Kaiping Zeng, Sorin A. Huss	Architecture refinements by code refactoring of behavioral VHDL-AMS models.	ISCAS	2006	DBLP DOI BibTeX RDF
17	Jie Zhou, Jim Alves-Foss	Architecture-based refinements for secure computer systems design.	PST	2006	DBLP DOI BibTeX RDF	architectural refinement, non-functional requirements, multi-level security
17	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	Refinements and Abstractions of Signal-Event (Timed) Languages.	FORMATS	2006	DBLP DOI BibTeX RDF
17	Alan Bundy, Fiona McNeill, Christopher Walton	On Repairing Reasoning Reversals via Representational Refinements.	FLAIRS	2006	DBLP BibTeX RDF
17	Richard Banach, John Derrick	Filtering Retrenchments into Refinements.	SEFM	2006	DBLP DOI BibTeX RDF
17	Etai Mor, Mayer E. Aladjem	Boundary refinements for wavelet-domain multiscale texture segmentation.	Image Vis. Comput.	2005	DBLP DOI BibTeX RDF
17	Nohad Gresh, Jean-Philip Piquemal, Morris Krauss	Representation of Zn(II) complexes in polarizable molecular mechanics. Further refinements of the electrostatic and short-range contributions. Comparisons with parallel ab initio computations.	J. Comput. Chem.	2005	DBLP DOI BibTeX RDF
17	Raul Silaghi, Alfred Strohmeier	Parallax - An Aspect-Enabled Framework for Plug-in-Based MDA Refinements Towards Middleware.	Model-Driven Software Development	2005	DBLP DOI BibTeX RDF
17	Mohand Boughanem, Yannick Loiseau, Henri Prade	Rank-Ordering Documents According to Their Relevance in Information Retrieval Using Refinements of Ordered-Weighted Aggregations.	Adaptive Multimedia Retrieval	2005	DBLP DOI BibTeX RDF
17	Lukasz Wawrzyniak, Dennis Nikitenko, Pascal Matsakis	Describing Topological Relationships in Words: Refinements.	FUZZ-IEEE	2005	DBLP DOI BibTeX RDF
17	Lluís Godo, Adriana Zapico	Lexicographic Refinements in the Context of Possibilistic Decision Theory.	EUSFLAT Conf.	2005	DBLP BibTeX RDF
17	Oscar Díaz, Salvador Trujillo, Felipe I. Anfurrutia	Supporting Production Strategies as Refinements of the Production Process.	SPLC	2005	DBLP DOI BibTeX RDF
17	Neil J. Robinson	Animation and visualisation of refinements		2005	RDF
17	Jan Mikác	Raffinement et preuves de systèmes Lustre. (Refinements and Proofs of Lustre Systems).		2005	RDF
17	Hejiao Huang, To-Yat Cheung, Wai Ming Mak	Structure and behavior preservation by Petri-net-based refinements in system design.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
17	Dah-Yan Hwang	Some refinements and generalizations of Carleman's inequality.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
17	Antonina Andreeva, Dave Howorth, Steven E. Brenner, Tim J. P. Hubbard, Cyrus Chothia, Alexey G. Murzin	SCOP database in 2004: refinements integrate structure and sequence family data.	Nucleic Acids Res.	2004	DBLP DOI BibTeX RDF
17	Ian F. Blake, V. Kumar Murty, Guangwu Xu	Refinements of Miller's Algorithm for Computing Weil/Tate Pairing.	IACR Cryptol. ePrint Arch.	2004	DBLP BibTeX RDF
17	Marco Ferrari 0001, Sandro Bellini	Refinements and asymptotic performance of bandwidth-efficient turbo product codes.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
17	Lifeng He, Yuyan Chao, Hidenori Itoh	R-SATCHMO: Refinements on I-SATCHMO.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
17	Gustavo Hernández Ábrego, Lex Olorenshaw, Raquel Tato, Thomas Schaaf	Dictionary refinements based on phonetic consensus and non-uniform pronunciation reduction.	INTERSPEECH	2004	DBLP DOI BibTeX RDF
17	Markus Schneider	Vague Topological Predicates for Crisp Regions through Metric Refinements.	SDH	2004	DBLP DOI BibTeX RDF
17	Panagiotis Manolios, Sudarshan K. Srinivasan	Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements.	DATE	2004	DBLP DOI BibTeX RDF
17	Phillip Rogaway	Efficient Instantiations of Tweakable Blockciphers and Refinements to Modes OCB and PMAC.	ASIACRYPT	2004	DBLP DOI BibTeX RDF
17	Branislav Kveton, Milos Hauskrecht	Heuristic Refinements of Approximate Linear Programming for Factored Continuous-State Markov Decision Processes.	ICAPS	2004	DBLP BibTeX RDF
17	Raul Silaghi	MDA refinements along middleware-specific concern-dimensions.	Doctoral Symposium on Middleware	2004	DBLP DOI BibTeX RDF	middleware concerns, AOP, MDA, model transformations, AspectJ, UML profiles, eclipse plug-ins, parallax, enterprise fondue
17	Marta Simeoni	A categorical approach to modularization of graph transformation systems using refinements.		2004	RDF
17	Tomomichi Nakamura, Kevin Judd, Alistair I. Mees	Refinements to Model Selection for Nonlinear Time Series.	Int. J. Bifurc. Chaos	2003	DBLP DOI BibTeX RDF
17	Alexei A. Fedotov, Peter Harremoës, Flemming Topsøe	Refinements of Pinsker's inequality.	IEEE Trans. Inf. Theory	2003	DBLP DOI BibTeX RDF
17	Sergey Korotov, Michal Krízek	Local nonobtuse tetrahedral refinements of a cube.	Appl. Math. Lett.	2003	DBLP DOI BibTeX RDF
17	Einar Broch Johnsen, Christoph Lüth	Abstracting Refinements for Transformation.	Nord. J. Comput.	2003	DBLP BibTeX RDF
17	Nicolas Peltier	Extracting models from clause sets saturated under semantic refinements of the resolution rule.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
17	Brian S. Peterson, Rusty O. Baldwin, Jeffrey P. Kharoufeh, Richard A. Raines	Refinements to the packet error rate upper bound for Bluetooth networks.	IEEE Commun. Lett.	2003	DBLP DOI BibTeX RDF
17	Saul Simhon, Gregory Dudek	Learning Refinements on Curve-Strokes.	ICTAI	2003	DBLP DOI BibTeX RDF
17	Hans-Werner Kelbassa	Selection of Optimal Rule Refinements.	FLAIRS	2003	DBLP BibTeX RDF
17	Rik Eshuis, Maarten M. Fokkinga	Comparing Refinements for Failure and Bisimulation Semantics.	Fundam. Informaticae	2002	DBLP BibTeX RDF
17	Mathias Broxvall, Peter Jonsson, Jochen Renz	Disjunctions, independence, refinements.	Artif. Intell.	2002	DBLP DOI BibTeX RDF
17	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni	Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems.	J. Comput. Syst. Sci.	2002	DBLP DOI BibTeX RDF
17	Loredana Lo Conte, Steven E. Brenner, Tim J. P. Hubbard, Cyrus Chothia, Alexey G. Murzin	SCOP database in 2002: refinements accommodate structural genomics.	Nucleic Acids Res.	2002	DBLP DOI BibTeX RDF
17	Agnieszka Rusinowska	Refinements of Nash Equilibria in View of Jealous or Friendly Behavior of Players.	IGTR	2002	DBLP DOI BibTeX RDF
17	Douglas C. Sicker, Joshua L. Mindel	Refinements of a Layered Model for Telecommunications Policy.	J. Telecommun. High Technol. Law	2002	DBLP BibTeX RDF
17	Hans-Georg Zimmermann, Ralph Neuneier, Ralph Grothmann	Undershooting: modeling dynamical systems by time grid refinements.	ESANN	2002	DBLP BibTeX RDF
17	Neil J. Robinson, Colin J. Fidge	Animation of Data Refinements.	APSEC	2002	DBLP DOI BibTeX RDF
17	Thorsten May, Sascha Schneider, Volker Luckas	Parallel Real-Time Fluid Simulation and Animation with Fractal Optical Refinements.	ESM	2002	DBLP BibTeX RDF
17	Ba Tu Truong, Svetha Venkatesh, Chitra Dorai	Film grammar based refinements to extracting scenes in motion pictures.	ICME (1)	2002	DBLP DOI BibTeX RDF
17	John Duggan, Michel Le Breton	Mixed refinements of Shapley's saddles and weak tournaments.	Soc. Choice Welf.	2001	DBLP DOI BibTeX RDF
17	Mariusz Zóltowski	Some advances and refinements in digital phase-locked loops (DPLLs).	Signal Process.	2001	DBLP DOI BibTeX RDF
17	Sergey Korotov, Michal Krízek	Acute Type Refinements of Tetrahedral Partitions of Polyhedral Domains.	SIAM J. Numer. Anal.	2001	DBLP DOI BibTeX RDF
17	Dominique Cansell, Dominique Méry, Stephan Merz	Diagram Refinements for the Design of Reactive Systems.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
17	Gerhard Schellhorn	Verification of ASM Refinements Using Generalized Forward Simulation.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
17	Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki, Minoru Ito	Refinements of Complexity Results on Type Consistency for Object-Oriented Databases.	J. Comput. Syst. Sci.	2001	DBLP DOI BibTeX RDF
17	Adele Ferone, Mohamed Amin Jalal, Jean-Michel Rakotoson, Roberta Volpicelli	Some refinements of the Hodge decomposition and applications.	Appl. Math. Lett.	2001	DBLP DOI BibTeX RDF
17	Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen	Reachability Analysis of Probabilistic Systems by Successive Refinements.	PAPM-PROBMIV	2001	DBLP BibTeX RDF
17	Roberto Giacobazzi, Elisa Quintarelli	Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking.	SAS	2001	DBLP DOI BibTeX RDF	Domain Refinement, Model-checking, Verification, Program Analysis, Abstract Interpretation, Completeness
17	Peter Verplaetse	Refinements of Rent's Rule Allowing Accurate Interconnect Complexity Modeling.	ISQED	2001	DBLP DOI BibTeX RDF
17	Joyce L. Tokar	New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements.	Ada-Europe	2001	DBLP DOI BibTeX RDF
17	Frank Katritzke	Refinements of data compression using weighted finite automata. (PDF / PS)		2001	RDF
17	Francesco De Sinopoli	Sophisticated voting and equilibrium refinements under plurality rule.	Soc. Choice Welf.	2000	DBLP DOI BibTeX RDF
17	Frédéric Cabestre, Christian Percebois, Jean-Paul Bodeveix	Abstract machine construction through operational semantics refinements.	Future Gener. Comput. Syst.	2000	DBLP DOI BibTeX RDF
17	Maria A. Cobb, Frederick E. Petry, Kevin B. Shaw	Fuzzy spatial relationship refinements based on minimum bounding rectangle variations.	Fuzzy Sets Syst.	2000	DBLP DOI BibTeX RDF
17	Matthias Müller-Hannemann, Karsten Weihe	Quadrangular Refinements of Convex Polygons with an Application to Finite-Element Meshes.	Int. J. Comput. Geom. Appl.	2000	DBLP DOI BibTeX RDF
17	Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen	On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems.	SIAM J. Comput.	2000	DBLP DOI BibTeX RDF
17	Sarang Wagholikar, R. Ravikanth, R. Srikant 0001	Refinements to CLT-based MBAC schemes using moderate deviations.	CDC	2000	DBLP DOI BibTeX RDF
17	Mark Allman	TCP byte counting refinements.	Comput. Commun. Rev.	1999	DBLP DOI BibTeX RDF
17	Han Wu Chen, Kenjiro Yanagi	Refinements of the Half-Bit and Factor-of-Two Bounds for Capacity in Gaussian Channel with Feedback.	IEEE Trans. Inf. Theory	1999	DBLP DOI BibTeX RDF