Search results for "retract"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Jun Okamoto, Mitsuhisa Iida, Kazuya Nambu, Masakatsu G. Fujie, Mitsuo Umezu, Hiroshi Iseki	A New Method to Extend Applicable Area of Minimally Invasive Neurosurgery by Brain Retract Manipulator.	MICCAI (1)	2003	DBLP DOI BibTeX RDF
46	Elsa L. Gunter	Pseudo-Retract Functors for Local Lattices and Bifinite L-domains.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
35	Benoît Larose, Claude Tardif	Hedetniemi's Conjecture and the Retracts of a Product of Graphs.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C15, 08A40, 05C75
35	François Jacquenet, Irène Foucherot	A new logical view of knowledge manipulation with PROLOG.	ANZIIS	1996	DBLP DOI BibTeX RDF
35	Richard Kennaway, C. A. R. Hoare	A Theory of Nondeterminism.	ICALP	1980	DBLP DOI BibTeX RDF	axiomatic sematnics, complementary definitions, powerdomains, operational semantics, nondeterminism
31	Michael S. Roddy	On an Example of Rutkowski and Schröder.	Order	2002	DBLP DOI BibTeX RDF	fixed point property, product, retract
31	Michael S. Roddy	Fixed Points and Products: Width 3.	Order	2002	DBLP DOI BibTeX RDF	finite width, fixed point property, product, retract
31	Michael McAllister, David G. Kirkpatrick, Jack Snoeyink	A Compact Piecewise-Linear Voronoi Diagram for Convex Sites in the Plane	FOCS	1993	DBLP DOI BibTeX RDF	convex m-gon, compact piecewise-linear Voronoi diagram, convex sites, post-office problem, query site, retraction motion planning, one-dimensional retract, k disjoint convex sets, deterministic time, polygons, Euclidean metric
29	Heini Bergsson Debes, Thanassis Giannetsos	RETRACT: Expressive Designated Verifier Anonymous Credentials.	ARES	2023	DBLP DOI BibTeX RDF
29	Pierre Bieliavsky, Valentin Dendoncker, Stéphane Korvers	Equivalence of Invariant Star-Products: The "Retract" Method.	GSI (1)	2023	DBLP DOI BibTeX RDF
29	Mohammed Abu-Saleem, Ali Taani	The Boundary Homotopy Retract on the Scalar Hairy Charged Black Hole Spacetime.	Axioms	2022	DBLP DOI BibTeX RDF
29	Xin He, Lei Huang 0001, Jiangzhou Wang	Novel Relax-and-Retract Algorithm for Intelligent Reflecting Surface Design.	IEEE Trans. Veh. Technol.	2021	DBLP DOI BibTeX RDF
29	Chiedozie Udeh, Christina Canfield, Isaac Briskin, Aaron C. Hamilton	Association between limiting the number of open records in a tele-critical care setting and retract-reorder errors.	J. Am. Medical Informatics Assoc.	2021	DBLP DOI BibTeX RDF
29	Manuela Busaniche, Miguel Andrés Marcos, Sara Ugolini	Representation by triples of algebras with an MV-retract.	Fuzzy Sets Syst.	2019	DBLP DOI BibTeX RDF
29	Beom Jin An, Alexander S. Mentis	Directional Search Algorithm and its Utilization of Simulated Annealing and Expand-Retract.	ICTAI	2019	DBLP DOI BibTeX RDF
29	Cristian Axenie, Radu Tudoran, Stefano Bortoli, Mohamad Al Hajj Hassan, Goetz Brasche	NARPCA: Neural Accumulate-Retract PCA for Low-Latency High-Throughput Processing on Datastreams.	ICANN (1)	2019	DBLP DOI BibTeX RDF
29	Lin-Yuan He, Jizhong Zhao, Duyan Bi	Effective haze removal under mixed domain and retract neighborhood.	Neurocomputing	2018	DBLP DOI BibTeX RDF
29	Robert Kenny	Dugundji systems and a retract characterization of effective zero-dimensionality.	CoRR	2018	DBLP BibTeX RDF
29	Cristian Axenie, Radu Tudoran, Stefano Bortoli, Mohamad Al Hajj Hassan, Daniele Foroni, Goetz Brasche	STARLORD: Sliding Window Temporal Accumulate-Retract Learning for Online Reasoning on Datastreams.	ICMLA	2018	DBLP DOI BibTeX RDF
29	Stefano Menini, Elena Cabrio, Sara Tonelli, Serena Villata	Never Retreat, Never Retract: Argumentation Analysis for Political Speeches.	AAAI	2018	DBLP DOI BibTeX RDF
29	Peter Williams, Elizabeth Wager	Exploring Why and How Journal Editors Retract Articles: Findings From a Qualitative Study.	Sci. Eng. Ethics	2013	DBLP DOI BibTeX RDF
29	Jifeng He 0001, Tony Hoare	CSP is a retract of CCS.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
29	Jifeng He 0001, C. A. R. Hoare	CSP Is a Retract of CCS.	UTP	2006	DBLP DOI BibTeX RDF
29	Jun Okamoto, Mitsuhisa Iida, Kazuya Nambu, Masakatsu G. Fujie, Mitsuo Umezu	Development of multi-DOF brain retract manipulator with safety method.	IROS	2003	DBLP DOI BibTeX RDF
29	Jun Okamoto, Mitsuhisa Iida, Kazuya Nambu, Haruna Okayasu, Masakatsu G. Fujie, Mitsuo Umezu, Hiroshi Iseki	Development of multi-DOF brain retract manipulator for minimally invasive neurosurgery.	CARS	2003	DBLP BibTeX RDF
29	Howie Choset, Ji Yeong Lee	Sensor-based construction of a retract-like structure for a planar rod robot.	IEEE Trans. Robotics Autom.	2001	DBLP DOI BibTeX RDF
29	Jan Jakubik	Retract mappings of projectable MV-algebras.	Soft Comput.	2000	DBLP DOI BibTeX RDF
29	Richard A. Brualdi, J. A. Dias da Silva	A retract characterization of posets with the fixed-point property.	Discret. Math.	1997	DBLP DOI BibTeX RDF
29	Norbert Polat	Retract-collapsible graphs and invariant subgraph properties.	J. Graph Theory	1995	DBLP DOI BibTeX RDF
29	J. F. Dazy, J. M. Pozas	Décompilation de clauses, Traitement des predicats assert/1, retract/1, clause/2, ...: Pour une implantation compilée de "tout" Prolog.	SPLT	1989	DBLP BibTeX RDF
29	Richard J. Nowakowski, Ivan Rival	Retract rigid cartesian products of graphs.	Discret. Math.	1988	DBLP DOI BibTeX RDF
29	Robert M. Colomb	Assert, Retract and External Processes in Prolog.	Softw. Pract. Exp.	1988	DBLP DOI BibTeX RDF
29	Bernhard Josko	An Effective Retract Calculus.	Theoretical Computer Science	1981	DBLP DOI BibTeX RDF
29	A. Pelezar	Retract Theorem of T. Wazewski for Regular Processes.	Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys.	1973	DBLP BibTeX RDF
29	A. Pelezar	On Some Extensions of the Retract Theorem of T. Wazewski, V.	Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys.	1973	DBLP BibTeX RDF
18	Rik Jansen, Kris K. Hauser, Nuttapong Chentanez, A. Frank van der Stappen, Kenneth Y. Goldberg	Surgical retraction of non-uniform deformable layers of tissue: 2D robot grasping and path planning.	IROS	2009	DBLP DOI BibTeX RDF
18	Vítor Santos Costa	On Just in Time Indexing of Dynamic Predicates in Prolog.	EPIA	2009	DBLP DOI BibTeX RDF
18	Federico Cabitza, Marco Loregian	Much undo about nothing?: investigating why email retraction is less popular than apologizing.	NordiCHI	2008	DBLP DOI BibTeX RDF	usability, user study, cooperation, email, undo
18	Guillaume Millet, Anatole Lécuyer, Jean-Marie Burkhardt, D. Sinan Haliyo, Stephane Régnier	Improving Perception and Understanding of Nanoscale Phenomena Using Haptics and Visual Analogy.	EuroHaptics	2008	DBLP DOI BibTeX RDF	Visual analogy, Atomic force microscopy, Haptic feedback, Computer-assisted instruction
18	David W. Archer, Lois M. L. Delcambre	Definition and Formalization of Entity Resolution Functions for Everyday Information Integration.	SDKB	2008	DBLP DOI BibTeX RDF
18	Masaru Yanagihara, Jun Okamoto, Norihiro Mitsui, Masakatsu G. Fujie	Robotic Creation of Operating Space for Minimally Invasive Hip Joint Surgery.	ICRA	2007	DBLP DOI BibTeX RDF
18	Jifeng He 0001	Compensable Programs.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
18	Jiyong Zhang, Pearl Pu, Boi Faltings	Agile Decision Agent for Service-Oriented E-Commerce Systems.	CEC/EEE	2006	DBLP DOI BibTeX RDF
18	James Laird	The Elimination of Nesting in SPCF.	TLCA	2005	DBLP DOI BibTeX RDF
18	Albert Visser	Löb's Logic Meets the µ-Calculus.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
18	Qutaibah Althebyan, Henry Hexmoor	A New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance Systems.	WRAC	2005	DBLP DOI BibTeX RDF
18	Anders Björner, Mark de Longueville	Neighborhood Complexes of Stable Kneser Graphs.	Comb.	2003	DBLP DOI BibTeX RDF	AMS Subject Classification (2000): 05E99, 05C69, 55P15, 05C15
18	Sumit Gulwani, George C. Necula	A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols.	CADE	2003	DBLP DOI BibTeX RDF
18	Alexej P. Pynko	Extensions of Halkowska-Zajac's three-valued paraconsistent logic.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
18	Rozália Sz. Madarász, Boza Tasic	On the Partially Ordered Semigroup Generated by the Class Operators I, R, H, S, P.	Order	2001	DBLP DOI BibTeX RDF	class operators, operator of retraction, partially ordered semigroup and monoid
18	Sava Krstic, John Launchbury, Dusko Pavlovic	Categories of Processes Enriched in Final Coalgebras.	FoSSaCS	2001	DBLP DOI BibTeX RDF
18	Donald Nute	Defeasible Logic.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
18	Natasa Jonoska, Masahico Saito	Boundary Components of Thickened Graphs.	DNA	2001	DBLP DOI BibTeX RDF
18	Hubert Dubois, Hélène Kirchner	Rule Based Programming with Constraints and Strategies.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
18	Ralph Matthes	Monotone Fixed-Point Types and Strong Normalization.	CSL	1998	DBLP DOI BibTeX RDF
18	Michael McAllister, David G. Kirkpatrick, Jack Snoeyink	A Compact Piecewise-Linear Voronoi Diagram for Convex Sites in the Plane.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
18	Georgios Grivas, Roman Maeder	Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench.	DISCO	1993	DBLP DOI BibTeX RDF
18	Beatrice Amrhein	Birkhoff's HSP-Theorem for Cumulative Logic Programs.	ELP	1993	DBLP DOI BibTeX RDF
18	Alex Chao-Chiang Meng, Michael Sullivan	Logos: A Constraint-Directed Reasoning Shell for Operations Management.	IEEE Expert	1991	DBLP DOI BibTeX RDF
18	T. J. Reynolds, Petros Kefalas	BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence.	RCLP	1991	DBLP DOI BibTeX RDF
18	Stefan Böttcher	A Semantics for the Integration of Database Modifications and Transaction Brackets into a Logic Programming Language.	IS/KI	1990	DBLP DOI BibTeX RDF
18	Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto	Design and Distributed Implementation of the Parallel Logic Language Shared Prolog.	PPoPP	1990	DBLP DOI BibTeX RDF	Prolog, C
18	Wen-Kai Chung, William B. Day	The process allocation in parallel interpretation of logic programs (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
18	John F. Canny, Bruce Randall Donald	Simplified Voronoi Diagrams.	SCG	1987	DBLP DOI BibTeX RDF
18	Tsutomu Kamimura, Adrian Tang 0001	Continuous Auxiliary Relations.	MFPS	1987	DBLP DOI BibTeX RDF
18	Günter Hornung, Peter Raulefs	Terminal Algebra Semantics and Retractions for Abstract Data Types.	ICALP	1980	DBLP DOI BibTeX RDF