Search results for "well-behaved"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Martin Fränzle	Verification of Hybrid Systems.	CAV	2007	DBLP DOI BibTeX RDF
22	Anuj Dawar	Finite Model Theory on Tame Classes of Structures.	MFCS	2007	DBLP DOI BibTeX RDF
22	Seth Gilbert, Rachid Guerraoui, Dariusz R. Kowalski	On the Message Complexity of Indulgent Consensus.	DISC	2007	DBLP DOI BibTeX RDF
22	Anna Lubiw, Mark Petrick, Michael J. Spriggs	Morphing orthogonal planar graph drawings.	SODA	2006	DBLP DOI BibTeX RDF
22	Adam Barth, John C. Mitchell	Managing Digital Rights using Linear Logic.	LICS	2006	DBLP DOI BibTeX RDF
22	Lei Guang, Chadi Assi, Abderrahim Benslimane	Modeling and analysis of predictable random backoff in selfish environments.	MSWiM	2006	DBLP DOI BibTeX RDF	selfish misbehavior, ad hoc networks, medium access control
22	Rong Liu, Akhil Kumar 0001	An Analysis and Taxonomy of Unstructured Workflows.	Business Process Management	2005	DBLP DOI BibTeX RDF
22	Joon Heo, Choong Seon Hong	An Efficient and Secured Media Access Mechanism Using the Intelligent Coordinator in Low-Rate WPAN Environment.	KES (2)	2005	DBLP DOI BibTeX RDF
22	MuDer Jeng, Xiaolan Xie, Sheng-Luen Chung	ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
22	Peter Bendix	Spice Model Quality: Process Development Viewpoint.	ISQED	2001	DBLP DOI BibTeX RDF
22	Daniele Turi, Gordon D. Plotkin	Towards a Mathematical Operational Semantics.	LICS	1997	DBLP DOI BibTeX RDF
22	Ze-Nian Li, Gongzhu Hu	Analysis of disparity gradient based cooperative stereo.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
22	Hanan Samet, Markku Tamminen	Bintrees, CSG trees, and time.	SIGGRAPH	1985	DBLP DOI BibTeX RDF	bintrees, image processing, time, motion, conversion, solid modeling, quadtrees, octrees, constructive solid geometry (CSG), hierarchical data structures, interference detection
21	Peng Wang, David L. Mills	A Probabilistic Approach for Achieving Fair Bandwidth Allocations in CSFQ.	NCA	2005	DBLP DOI BibTeX RDF
13	Koen V. Hindriks, John-Jules Ch. Meyer	Toward a programming theory for rational agents.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Verification logic, State-based semantics, Programming theory, Denotational semantics, Rational agents
13	J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt	Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.	POPL	2005	DBLP DOI BibTeX RDF	bi-directional programming, XML, lenses, harmony, view update problem
13	Fabian J. Theis, Richard A. Neher, Andre Zeug	Blind Decomposition of Spectral Imaging Microscopy: A Study on Artificial and Real Test Data.	ICA	2009	DBLP DOI BibTeX RDF
13	Martin Servin, Claude Lacoursière	Rigid Body Cable for Virtual Environments.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
13	Nikhil Bansal 0001, Alberto Caprara, Maxim Sviridenko	Improved approximation algorithms for multidimensional bin packing problems.	FOCS	2006	DBLP DOI BibTeX RDF
13	Stefan Kahrs	Well-Going Programs Can Be Typed.	TLCA	2003	DBLP DOI BibTeX RDF
13	Y. C. Tay, Rajan Suri, Nathan Goodman	A Mean Value Performance Model for Locking in Databases: The No-Waiting Case	J. ACM	1985	DBLP DOI BibTeX RDF
13	Donald Sannella, Martin Wirsing	Implementation of Parameterised Specifications (Extended Abstract).	ICALP	1982	DBLP DOI BibTeX RDF
12	Ahmad A. Masoud	A harmonic potential field approach for navigating a rigid, nonholonomic robot in a cluttered environment.	ICRA	2009	DBLP DOI BibTeX RDF
12	Junfeng He, Hui Wang, Ningwu He, Zhigang Sun, Zhenghu Gong	E2EDSM: An Edge-to-Edge Data Service Model for Mass Streaming Media Transmission.	APPT	2009	DBLP DOI BibTeX RDF	Edge-to-Edge network, ISP infrastructure, peer-to-peer network, network architecture
12	Zhijun Ding, Changjun Jiang, MengChu Zhou, Yaying Zhang	Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
12	Kevin M. Lillis, Sriram V. Pemmaraju	On the Efficiency of a Local Iterative Algorithm to Compute Delaunay Realizations.	WEA	2008	DBLP DOI BibTeX RDF
12	Perdita Stevens	Towards an Algebraic Theory of Bidirectional Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
12	Jonathan Bronson, Penny Rheingans, Marc Olano	Semi-automatic stencil creation through error minimization.	NPAR	2008	DBLP DOI BibTeX RDF	automatic stencil creation, theatrical gobos, view-dependent visualization, non-photorealistic rendering
12	Hillol Kargupta, Kamalika Das, Kun Liu 0001	Multi-party, Privacy-Preserving Distributed Data Mining Using a Game Theoretic Framework.	PKDD	2007	DBLP DOI BibTeX RDF
12	Min Zhang, Markus Olbrich, David Seider, Martin Frerichs, Harald Kinzelbach, Erich Barke	CMCal: an accurate analytical approach for the analysis of process variations with non-gaussian parameters and nonlinear functions.	DATE	2007	DBLP DOI BibTeX RDF
12	Jorge Martinez 0001, Eric Richard Zenk	Nuclear Typing of Frames vs Spatial Selectors.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	nuclear typing, spatial selector, algebraic frame and space, exactness of typing, frame, patch
12	Muthuvel Arigovindan, Michael Sühling, Christian P. Jansen, Patrick R. Hunziker, Michael Unser	Full flow/motion-field recovery from pulsed-wave ultrasound Doppler data.	ISBI	2006	DBLP DOI BibTeX RDF
12	Ruibiao Qiu, Jonathan S. Turner	Source traffic regulation in reserved delivery subnetworks.	IPCCC	2006	DBLP DOI BibTeX RDF
12	Tor Kjetil Moseng, Øivind Kure	DiffServ in Ad Hoc Networks.	EuroNGI Workshop	2006	DBLP DOI BibTeX RDF
12	Vladimiro Sassone, Pawel Sobocinski 0001	Reactive Systems over Cospans.	LICS	2005	DBLP DOI BibTeX RDF
12	Jiannong Cao 0001, Jin Yang 0005, Wai Ting Chan, Cheng-Zhong Xu 0001	Exception Handling in Distributed Workflow Systems Using Mobile Agents.	ICEBE	2005	DBLP DOI BibTeX RDF
12	Hiroaki Kawashima, Takashi Matsuyama	Hierarchical Clustering of Dynamical Systems Based on Eigenvalue Constraints.	ICAPR (1)	2005	DBLP DOI BibTeX RDF
12	Adrian N. Evans	Nonlinear Operations for Colour Images Based on Pairwise Vector Ordering.	DICTA	2005	DBLP DOI BibTeX RDF
12	Stephen Lack, Pawel Sobocinski 0001	Adhesive Categories.	FoSSaCS	2004	DBLP DOI BibTeX RDF
12	Tao Wan 0004, Evangelos Kranakis, Paul C. van Oorschot	S-RIP: A Secure Distance Vector Routing Protocol.	ACNS	2004	DBLP DOI BibTeX RDF	Distance Fraud, Security Analysis, Routing Security, Distance Vector
12	Shubhankar Ray, Bani K. Mallick	A Bayesian transformation model for wavelet shrinkage.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
12	Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff	Hybrid Logics on Linear Structures: Expressivity and Complexity.	TIME	2003	DBLP DOI BibTeX RDF
12	Leila De Floriani, Franco Morando, Enrico Puppo	Representation of non-manifold objects.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF	data structures, simplicial complexes, non-manifold modeling
12	Mouhacine Benosman, F. Boyer, Georges Le Vey, D. Primault	Flexible Links Manipulators: from Modelling to Control.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	floating frame, Newton-Euler, finite deformation, Poincaré equations, non-minimum phase system, stable inversion, two-point boundary value problem, parametrization, trajectory tracking
12	Masanao Ozawa	Halting of Quantum Turing Machines.	UMC	2002	DBLP DOI BibTeX RDF
12	Hayim Shaul, Dan Halperin	Improved construction of vertical decompositions of three-dimensional arrangements.	SCG	2002	DBLP DOI BibTeX RDF	geometric software, vertical decomposition, arrangements, exact computation
12	Kaixin Xu, Sang Bae, Sungwook Lee, Mario Gerla	TCP behavior across multihop wireless networks and the wired internet.	WOWMOM	2002	DBLP DOI BibTeX RDF	ad hoc network, MANET, fairness, TCP performance
12	Jinsong Zhao	Singularity-treated quadrature-evaluated method of moments solver for 3-D capacitance extraction.	DAC	2000	DBLP DOI BibTeX RDF
12	Bhaskar D. Rao, Kenneth Kreutz-Delgado	An affine scaling methodology for best basis selection.	IEEE Trans. Signal Process.	1999	DBLP DOI BibTeX RDF
12	Peter Sewell, Jan Vitek	Secure Composition of Insecure Components.	CSFW	1999	DBLP DOI BibTeX RDF
12	Tolga Tasdizen, Jean-Philippe Tarel, David B. Cooper	Algebraic Curves That Work Better.	CVPR	1999	DBLP DOI BibTeX RDF
12	Victor Vianu	Topological Queries in Spatial Databases.	CSL	1999	DBLP DOI BibTeX RDF
12	Chris Gniady, Babak Falsafi, T. N. Vijaykumar	Is SC + ILP=RC?	ISCA	1999	DBLP DOI BibTeX RDF
12	Paul Dupuis, Kavita Ramanan	A Skorokhod Problem formulation and large deviation analysis of a processor sharing model.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	Skorokhod Problem, large deviation estimates, processor sharing
12	Fritz Keinert	Numerical stability of biorthogonal wavelet transforms.	Adv. Comput. Math.	1995	DBLP DOI BibTeX RDF	AMS subject classification primary 15A12, secondary 42C15, 65F35
12	George Bebis, Michael Georgiopoulos, Niels da Vitoria Lobo	Learning Geometric Hashing Functions for Model-Based Object Recognition.	ICCV	1995	DBLP DOI BibTeX RDF	geometric hashing functions, distribution of invariants, geometric hash function, elastic hash table, hash bins, statistical characteristics, neural network, learning (artificial intelligence), learning, object recognition, indexing, training, invariants, file organisation, topology preserving, self-organizing feature map, self-organising feature maps, elastic net, model-based object recognition
12	Anthony E. Krzesinski, J. Greyling	Improved Lineariser Methods for Queueing Networks with Queue Dependent Centres.	SIGMETRICS	1984	DBLP DOI BibTeX RDF	Product from solutions, Error analysis, Mean value analysis, Approximate solutions, Multiclass queueing networks
11	Sailesh Krishnamurthy, Michael J. Franklin, Jeffrey Davis, Daniel Farina, Pasha Golovko, Alan Li, Neil Thombre	Continuous analytics over discontinuous streams.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	streams, continuous queries, order, out-of-order
11	Mikhail V. Solodov	Global convergence of an SQP method without boundedness assumptions on any of the iterative sequences.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C30, 65K05
11	Ke Yi 0001, Qin Zhang 0001	Multi-dimensional online tracking.	SODA	2009	DBLP DOI BibTeX RDF
11	Chris Barker	Wild control operators.	POPL	2009	DBLP DOI BibTeX RDF	fcontrol, same, natural language, continuations, focus, shift, control operators, reset
11	Rebecca Ingram, Patrick Shields, Jennifer E. Walter, Jennifer L. Welch	An asynchronous leader election algorithm for dynamic networks.	IPDPS	2009	DBLP DOI BibTeX RDF
11	Saquib Razak, Vinay Kolar, Nael B. Abu-Ghazaleh, Khaled A. Harras	How do wireless chains behave?: the impact of MAC interactions.	MSWiM	2009	DBLP DOI BibTeX RDF	wireless, MAC, interference, multihop, CSMA
11	Marcelo Arenas, Pablo Barceló, Juan L. Reutter	Query languages for data exchange: beyond unions of conjunctive queries.	ICDT	2009	DBLP DOI BibTeX RDF
11	Chia-Wei Chang, Seungjoon Lee, Bill Lin 0001, Jia Wang 0001	The Taming of the Shrew: Mitigating Low-Rate TCP-Targeted Attack.	ICDCS	2009	DBLP DOI BibTeX RDF
11	Christian Schulte 0001, Guido Tack	Weakly Monotonic Propagators.	CP	2009	DBLP DOI BibTeX RDF
11	Franz Baader, Barbara Morawska 0001	Unification in the Description Logic EL.	RTA	2009	DBLP DOI BibTeX RDF
11	Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001	Unfolding Grammars in Adhesive Categories.	CALCO	2009	DBLP DOI BibTeX RDF
11	Scott Duke Kominers	Dynamic Position Auctions with Consumer Search.	AAIM	2009	DBLP DOI BibTeX RDF	Position auctions, dynamic auctions, consumer search, best-response bidding, convergence
11	Javier Civera 0001, Andrew J. Davison, J. M. M. Montiel	Inverse Depth Parametrization for Monocular SLAM.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
11	Rick S. Blum, Brian M. Sadler	Energy Efficient Signal Detection in Sensor Networks Using Ordered Transmissions.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
11	Yang Qin, Kong Ling Pang	A Fault-Tolerance Cluster Head Based Routing Protocol for Ad Hoc Networks.	VTC Spring	2008	DBLP DOI BibTeX RDF
11	Siva Subramani, Simon Armour, Dritan Kaleshi, Zhong Fan	Spectrum Scanning and Reserve Channel Methods for Link Maintenance in Cognitive Radio Systems.	VTC Spring	2008	DBLP DOI BibTeX RDF
11	Soshant Bali, Sridhar Machiraju, Hui Zang	PAQ: A Starvation-Resistant Alternative to Proportional Fair.	ICC	2008	DBLP DOI BibTeX RDF
11	Rick S. Blum, Yusuf Artan, Brian M. Sadler	A new approach to energy efficient classification with multiple sensors based on ordered transmissions.	ICASSP	2008	DBLP DOI BibTeX RDF
11	Mo Chen, Danilo P. Mandic, Preben Kidmose, Michael Ungstrup	Qualitative assessment of intrinsic mode functions of empirical mode decomposition.	ICASSP	2008	DBLP DOI BibTeX RDF
11	Bartek Klin, Vladimiro Sassone	Structural Operational Semantics for Stochastic Process Calculi.	FoSSaCS	2008	DBLP DOI BibTeX RDF
11	Yutaka Yamamoto, Jan C. Willems	Behavioral controllability and coprimeness for a class of infinite-dimensional systems.	CDC	2008	DBLP DOI BibTeX RDF
11	Chris R. Jesshope	Building a Concurrency and Resource Allocation Model into a Processor's ISA.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
11	J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce	Quotient lenses.	ICFP	2008	DBLP DOI BibTeX RDF	bidirectional languages, bijective languages, boomerang, regular string transducers, equivalences, lenses, view update problem, canonizers, regular types
11	Ender Yilmaz, Sule Ozev	Dynamic test scheduling for analog circuits for improved test quality.	ICCD	2008	DBLP DOI BibTeX RDF
11	Nader Hatami	Studying misbehavior in CSMA/CA Wireless LANs.	PM2HW2N	2008	DBLP DOI BibTeX RDF	game theory, Wireless LAN, medium access control, selfish behavior
11	Stephen J. Hegner	Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context.	SDKB	2008	DBLP DOI BibTeX RDF
11	Shlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas	Strategies for repeated games with subsystem takeovers: implementable by deterministic and self-stabilizing automata (extended abstract).	Autonomics	2008	DBLP DOI BibTeX RDF	folk-theorem, joint deviation, game theory, self-stabilization, finite-automata
11	Stephen J. Hegner	Information-Optimal Reflections of View Updates on Relational Database Schemata.	FoIKS	2008	DBLP DOI BibTeX RDF	view, update
11	Sebastian Nowozin, Gökhan H. Bakir	A decoupled approach to exemplar-based unsupervised learning.	ICML	2008	DBLP DOI BibTeX RDF
11	Yehuda Koren, Stephen C. North, Chris Volinsky	Measuring and extracting proximity graphs in networks.	ACM Trans. Knowl. Discov. Data	2007	DBLP DOI BibTeX RDF	Connection subgraph, cycle-free escape probability, escape probability, proximity subgraph, random walk, graph mining, proximity
11	Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer	A characterization of regular expressions under bisimulation.	J. ACM	2007	DBLP DOI BibTeX RDF	regular expressions, Bisimulation equivalence
11	Maria Alberich-Carramiñana, Federico Thomas, Carme Torras	Flagged Parallel Manipulators.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
11	Ouyang You, Sujian Li, Wenjie Li 0002	Developing learning strategies for topic-based summarization.	CIKM	2007	DBLP DOI BibTeX RDF	support vector regression, document summarization
11	Soshant Bali, Sridhar Machiraju, Hui Zang	Beyond Proportional Fair: Designing Robust Wireless Schedulers.	Networking	2007	DBLP DOI BibTeX RDF
11	Desmond Chik, Jochen Trumpf, Nicol N. Schraudolph	3D Hand Tracking in a Stochastic Approximation Setting.	Workshop on Human Motion	2007	DBLP DOI BibTeX RDF
11	Gabriele Nataneli, Petros Faloutsos	Robust Classification of Strokes with SVM and Grouping.	ISVC (1)	2007	DBLP DOI BibTeX RDF
11	Sigmund Clausen, Katharina Greiner, Odd Andersen, Knut-Andreas Lie, Helene Schulerud, Tom Kavli	Automatic Segmentation of Overlapping Fish Using Shape Priors.	SCIA	2007	DBLP DOI BibTeX RDF	Overlapping objects, Mumford-Shah, Segmentation, Shape priors
11	Miroslav Ciric 0001, Aleksandar Stamenkovic, Jelena Ignjatovic, Tatjana Petkovic	Factorization of Fuzzy Automata.	FCT	2007	DBLP DOI BibTeX RDF
11	Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans	Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.	IFM	2007	DBLP DOI BibTeX RDF
11	Evens Jean, Yu Jiao, Ali R. Hurson, Thomas E. Potok	Boosting-Based Distributed and Adaptive Security-Monitoring through Agent Collaboration.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
11	Alan Nash, Luc Segoufin, Victor Vianu	Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report.	ICDT	2007	DBLP DOI BibTeX RDF
11	Alexander J. T. Gurney, Timothy G. Griffin	Lexicographic products in metarouting.	ICNP	2007	DBLP DOI BibTeX RDF
11	Peter T. Johnstone, Stephen Lack, Pawel Sobocinski 0001	Quasitoposes, Quasiadhesive Categories and Artin Glueing.	CALCO	2007	DBLP DOI BibTeX RDF