Search results for "well-behaved"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Tapio Elomaa, Juho Rousu	Well-Behaved Evaluation Functions for Numerical Attributes.	ISMIS	1997	DBLP DOI BibTeX RDF
51	Wojciech Moczydlowski, Alfons Geser	Termination of Single-Threaded One-Rule Semi-Thue Systems.	RTA	2005	DBLP DOI BibTeX RDF	uniform termination, one-rule, single-rule, single-threaded, well-behaved, termination, string rewriting, semi-Thue system
50	Martin Feilkas, Daniel Ratiu	Ensuring Well-Behaved Usage of APIs through Syntactic Constraints.	ICPC	2008	DBLP DOI BibTeX RDF
50	Yu-Kwong Kwok, Rohit Tripathi 0002, Yu Chen 0002, Kai Hwang 0001	HAWK: Halting Anomalies with Weighted Choking to Rescue Well-Behaved TCP Sessions from Shrew DDoS Attacks.	ICCNMC	2005	DBLP DOI BibTeX RDF
43	Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani	ISOLATOR: dynamically ensuring isolation in comcurrent programs.	ASPLOS	2009	DBLP DOI BibTeX RDF	concurreny, isolation, memory protection
40	Peter Auer, Nicolò Cesa-Bianchi, Yoav Freund, Robert E. Schapire	Gambling in a Rigged Casino: The Adversarial Multi-Arm Bandit Problem.	FOCS	1995	DBLP DOI BibTeX RDF	multi-armed bandit problem, slot machines, bandit problem, well-behaved stochastic process, matrix game, game theory, rate of convergence, stochastic games
39	Junichi Maruyama, Go Hasegawa, Masayuki Murata 0001	Protection Mechanisms for Well-behaved TCP Flows from Tampered-TCP at Edge Routers.	ICCCN	2007	DBLP DOI BibTeX RDF
39	Wai Hong Ho, Timothy Mark Pinkston	A Methodology for Designing Efficient On-Chip Interconnects on Well-Behaved Communication Patterns.	HPCA	2003	DBLP DOI BibTeX RDF	Low-Contention Communication, Network Partitioning, Communication Model, On-chip Interconnects, Irregular Topology
39	Hongjing Wu, Paul De Bra	Sufficient Conditions for Well-Behaved Adaptive Hypermedia Systems.	Web Intelligence	2001	DBLP DOI BibTeX RDF	user modeling, adaptive hypermedia, production rules
39	Nader Bagherzadeh, Martin Dowd, Shahram Latifi	A Well-Behaved Enumeration of Star Graphs.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
36	Dario De Nart, Dante Degl'Innocenti, Marco Peressotti	Well-Stratified Linked Data for Well-Behaved Data Citation.	Bull. IEEE Tech. Comm. Digit. Libr.	2016	DBLP BibTeX RDF
36	Dario De Nart, Dante Degl'Innocenti, Marco Peressotti	Well-Stratified Linked Data for Well-Behaved Data Citation.	CoRR	2015	DBLP BibTeX RDF
33	Linda Sellie	Exact learning of random DNF over the uniform distribution.	STOC	2009	DBLP DOI BibTeX RDF	learning theory, DNF
33	Roger M. Dufour, Eric L. Miller 0001, Nikolas P. Galatsanos	Template matching based object recognition with unknown geometric parameters.	IEEE Trans. Image Process.	2002	DBLP DOI BibTeX RDF
32	Parke Godfrey, Ryan Shipley, Jarek Gryz	Algorithms and analyses for maximal vector computation.	VLDB J.	2007	DBLP DOI BibTeX RDF
27	Miguel Gallegos, Ángel Martín Pendás	Developing a User-Friendly Code for the Fast Estimation of Well-Behaved Real-Space Partial Charges.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
27	Jiayu Zhang	Revisiting Remote State Preparation with Verifiability: A New Set of Notions with Well-behaved Properties.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
27	Bo Li 0037, Minming Li, Xiaowei Wu 0001	Well-behaved online load balancing against strategic jobs.	J. Sched.	2023	DBLP DOI BibTeX RDF
27	Eli Gafni, Giuliano Losa	Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority.	DISC	2023	DBLP DOI BibTeX RDF
27	Xiao-Bing Li, Suliman Al-Homidan, Qamrul Hasan Ansari, Jen-Chih Yao	A sufficient condition for asymptotically well behaved property of convex polynomials.	Oper. Res. Lett.	2021	DBLP DOI BibTeX RDF
27	Ray-Ming Chen	Well-behaved Classifiers In Rough Sets.	ICCDE	2020	DBLP DOI BibTeX RDF
27	Diodato Ferraioli, Carmine Ventre	Metastability of the Logit Dynamics for Asymptotically Well-Behaved Potential Games.	ACM Trans. Algorithms	2019	DBLP DOI BibTeX RDF
27	Bo Li 0037, Minming Li, Xiaowei Wu 0001	Well-behaved Online Load Balancing Against Strategic Jobs.	CoRR	2019	DBLP BibTeX RDF
27	Antoine Labatie	Characterizing Well-Behaved vs. Pathological Deep Neural Networks.	ICML	2019	DBLP BibTeX RDF
27	Bo Li 0037, Minming Li, Xiaowei Wu 0001	Well-behaved Online Load Balancing Against Strategic Jobs.	AAMAS	2019	DBLP BibTeX RDF
27	Antoine Labatie	Characterizing Well-behaved vs. Pathological Deep Neural Network Architectures.	CoRR	2018	DBLP BibTeX RDF
27	Artur Boronat	Well-Behaved Model Transformations with Model Subtyping.	CoRR	2017	DBLP BibTeX RDF
27	Philip S. Thomas, Bruno Castro da Silva, Andrew G. Barto, Emma Brunskill	On Ensuring that Intelligent Machines Are Well-Behaved.	CoRR	2017	DBLP BibTeX RDF
27	Michael Blondin, Alain Finkel, Pierre McKenzie	Well Behaved Transition Systems.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
27	Przemyslaw Andrzej Walega	Searching for Well-Behaved Fragments of Halpern-Shoham Logic.	IJCAI	2017	DBLP DOI BibTeX RDF
27	Michael Blondin, Alain Finkel, Pierre McKenzie	Well Behaved Transition Systems.	CoRR	2016	DBLP BibTeX RDF
27	Alberto Molinari, Angelo Montanari, Adriano Peron	Complexity of ITL model checking: some well-behaved fragments of the interval logic HS.	CoRR	2016	DBLP BibTeX RDF
27	Alexa Gopaulsingh	On a Well-behaved Relational Generalisation of Rough Set Approximations.	CoRR	2016	DBLP BibTeX RDF
27	Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala	Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture.	KR	2016	DBLP BibTeX RDF
27	Oren Freifeld, Søren Hauberg, Kayhan N. Batmanghelich, John W. Fisher III	Highly-Expressive Spaces of Well-Behaved Transformations: Keeping it Simple.	ICCV	2015	DBLP DOI BibTeX RDF
27	Diodato Ferraioli, Carmine Ventre	Metastability of Asymptotically Well-Behaved Potential Games - (Extended Abstract).	MFCS (2)	2015	DBLP DOI BibTeX RDF
27	Jie Xu, Min He, Xiuguo Bao	A Well-Behaved TV Logo Recognition Method Using Heuristic Optimality Checked Basis Pursuit Denoising.	ICIG (1)	2015	DBLP DOI BibTeX RDF
27	Alberto Molinari, Angelo Montanari, Adriano Peron	Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS.	TIME	2015	DBLP DOI BibTeX RDF
27	Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon	On the Reversibility of Well-Behaved Weighted Choice-Free Systems.	Petri Nets	2014	DBLP DOI BibTeX RDF
27	Shurojit Chatterji, M. Remzi Sanver, Arunava Sen	On domains that admit well-behaved strategy-proof social choice functions.	J. Econ. Theory	2013	DBLP DOI BibTeX RDF
27	Matthew Smedberg	A dense family of well-behaved finite monogenerated left-distributive groupoids.	Arch. Math. Log.	2013	DBLP DOI BibTeX RDF
27	Philippe Balbiani, Andreas Herzig, Nicolas Troquard	Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL.	LICS	2013	DBLP DOI BibTeX RDF
27	Esther Ezra	Small-size relative (p, ε)-approximations for well-behaved range spaces.	SoCG	2013	DBLP DOI BibTeX RDF
27	Guillermo D. Cañas	Practical Conditions for Well-behaved-ness of Anisotropic Voronoi Diagrams	CoRR	2012	DBLP BibTeX RDF
27	Esther Ezra	Small-Size Relative (p,Epsilon)-Approximations for Well-Behaved Range Spaces	CoRR	2012	DBLP BibTeX RDF
27	Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek	Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say.	ISSTA	2012	DBLP DOI BibTeX RDF
27	Linton C. Freeman	A Well-Behaved Alternative to the Modularity Index	CoRR	2011	DBLP BibTeX RDF
27	Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano 0001	GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations.	ASE	2011	DBLP DOI BibTeX RDF
27	Guoyin Li 0001	On the Asymptotically Well Behaved Functions and Global Error Bound for Convex Polynomials.	SIAM J. Optim.	2010	DBLP DOI BibTeX RDF
27	João J. Xarez	Well-behaved Epireflections for Kan Extensions.	Appl. Categorical Struct.	2010	DBLP DOI BibTeX RDF
27	Friedrich Otto, Martin Plátek, Frantisek Mráz	On Lexicalized Well-Behaved Restarting Automata That Are Monotone.	Developments in Language Theory	2010	DBLP DOI BibTeX RDF
27	Rada Chirkova, George H. L. Fletcher	Towards Well-Behaved Schema Evolution.	WebDB	2009	DBLP BibTeX RDF
27	Junichi Maruyama, Go Hasegawa, Masayuki Murata 0001	New Methods for Maintaining Fairness between Well-Behaved TCP Flows and Tampered-TCP Flows at Edge Routers.	IEICE Trans. Commun.	2008	DBLP DOI BibTeX RDF
27	Albert Atserias, Anuj Dawar, Martin Grohe	Preservation under Extensions on Well-Behaved Finite Structures.	SIAM J. Comput.	2008	DBLP DOI BibTeX RDF
27	Pawel Sobocinski 0001	A Well-behaved LTS for the Pi-calculus: (Abstract).	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
27	Ashok Swaminathan, Andrea Panigada, Elias Masry, Ian Galton	A Digital Requantizer With Shaped Requantization Noise That Remains Well Behaved After Nonlinear Distortion.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
27	William H. Sandholm	Excess payoff dynamics and other well-behaved evolutionary dynamics.	J. Econ. Theory	2005	DBLP DOI BibTeX RDF
27	Peter Caputa, Christer Svensson	Well-behaved global on-chip interconnect.	IEEE Trans. Circuits Syst. I Regul. Pap.	2005	DBLP DOI BibTeX RDF
27	Malachy Carey, Yingen Ge	Alternative Conditions for a Well-Behaved Travel Time Model.	Transp. Sci.	2005	DBLP DOI BibTeX RDF
27	Albert Atserias, Anuj Dawar, Martin Grohe	Preservation Under Extensions on Well-Behaved Finite Structures.	ICALP	2005	DBLP DOI BibTeX RDF
27	Rob J. van Glabbeek, Ursula Goltz	Well-behaved flow event structures for parallel composition and action refinement.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
27	Zofia Adamowicz, Leszek Aleksander Kolodziejczyk	Well-behaved principles alternative to bounded induction.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
27	Bernhard Nebel, Yuliya Babovich-Lierler	When Are Behaviour Networks Well-Behaved?	ECAI	2004	DBLP BibTeX RDF
27	Idit Keidar, Sergio Rajsbaum	Open Questions on Consensus Performance in Well-Behaved Runs.	Future Directions in Distributed Computing	2003	DBLP DOI BibTeX RDF
27	Ali A. Pouyan	A Petri net based approach to design well behaved discrete event systems.	SMC	2003	DBLP DOI BibTeX RDF
27	H. Maharavo Randrianarivony, Guido Brunnett	Generating Well Behaved Meshes for Parameterized Surfaces.	GMAG	2003	DBLP DOI BibTeX RDF
27	Hiroshi Watanabe	Well-behaved Translations between Structural Operational Semantics.	CMCS	2002	DBLP DOI BibTeX RDF
27	John A. N. Lee	Well behaved women rarely make history!	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
27	George Tourlakis	Computability in Type-2 Objects with Well-Behaved Type-1 Oracles is p-Normal.	Fundam. Informaticae	2001	DBLP BibTeX RDF
27	Shen Zheng, Andrew F. Seila	Some well-behaved estimators for the M/M/1 queue.	Oper. Res. Lett.	2000	DBLP DOI BibTeX RDF
27	Jinzhao Wu, Zhuojun Liu	Well-Behaved Inference Rules for First-Order Theorem Proving.	J. Autom. Reason.	1998	DBLP DOI BibTeX RDF
27	Isidore Rigoutsos	Well-Behaved, Tunable 3D-Affine Invariants.	CVPR	1998	DBLP DOI BibTeX RDF
27	Diana F. Gordon	Well-Behaved Borgs, Bolos, and Berserkers.	ICML	1998	DBLP BibTeX RDF
27	Jürgen Dix, Mauricio Osorio 0001	On Well-Behaved Semantics Suitable for Aggregation.	ILPS	1997	DBLP BibTeX RDF
27	William McCune	Well-Behaved Search and the Robbins Problem.	RTA	1997	DBLP DOI BibTeX RDF
27	George Tourlakis	Recursion in Partial Type-1 Objects With Well-Behaved Oracles.	Math. Log. Q.	1996	DBLP DOI BibTeX RDF
27	Ana Teresa C. Martins, Marcelino Pequeno, Tarcisio H. C. Pequeno	Well-Behaved IDL Theories.	SBIA	1996	DBLP DOI BibTeX RDF
27	Pavlos Peppas	Well Behaved and Multiple Belief Revision.	ECAI	1996	DBLP BibTeX RDF
27	Said Belhadji, Amar Isli	AI Tools in Scheduling Problem Solving: A Solver Based on a "Well-Behaved" Restriction of TCSPs.	ICTAI	1996	DBLP DOI BibTeX RDF
27	Stefano Baratella	A Completeness Result for Allowed Semi-Strict Programs with Respect to Well-Behaved and Allowed Query Clauses.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
27	Stephen M. Tanny	A well-behaved cousin of the Hofstadter sequence.	Discret. Math.	1992	DBLP DOI BibTeX RDF
27	Guang R. Gao, R. Govindarajan, Prakash Panangaden	Well-behaved dataflow programs for DSP computation.	ICASSP	1992	DBLP DOI BibTeX RDF
27	Mark J. Charney, Isaac D. Scherson	Efficient traversal of well-behaved hierarchical trees of extents for ray-tracing complex scenes.	Vis. Comput.	1990	DBLP DOI BibTeX RDF
27	Jörg Desel	Reduction and Design of Well-behaved Concurrent Systems.	CONCUR	1990	DBLP DOI BibTeX RDF
27	Michael Freeston	A Well-Behaved File Structure for the Storage of Spatial Objects.	SSD	1989	DBLP DOI BibTeX RDF
27	Vaughan R. Pratt	Dynamic algebras as a well-behaved fragment of relation algebras.	Algebraic Logic and Universal Algebra in Computer Science	1988	DBLP DOI BibTeX RDF
27	Robert B. Murray	Building Well-Behaved Type Relationships in C++.	C++ Conference	1988	DBLP BibTeX RDF
27	Harold T. Hodes	Well-Behaved Modal Logics.	J. Symb. Log.	1984	DBLP DOI BibTeX RDF
27	Anne Verroust	Characterization of Well-Behaved Database Schemata and Their Update Semantics.	VLDB	1983	DBLP BibTeX RDF
27	Allen Van Gelder, Kenneth A. Ross, John S. Schlipf	Unfounded Sets and Well-Founded Semantics for General Logic Programs.	PODS	1988	DBLP DOI BibTeX RDF
23	Stijn Vansummeren	On the complexity of deciding typability in the relational algebra.	Acta Informatica	2005	DBLP DOI BibTeX RDF
23	Michael R. Osborne	V-Invariant Methods for Generalised Least Squares Problems.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
23	Slim Abdennadher, Thom W. Frühwirth	Integration and Optimization of Rule-Based Constraint Solvers.	LOPSTR	2003	DBLP DOI BibTeX RDF
23	Sheng-Lin Wu, Wen-Shyen E. Chen	The token-bank leaky bucket mechanism for group connections in ATM networks.	ICNP	1996	DBLP DOI BibTeX RDF
23	Andrzej Szepietowski	If Deterministic and Nondeterministic Space Complexities are Equal for log log n then they are also Equal for log n. (journal version: Theor. Comput. Sci. 74(1): 115-119(1990))	STACS	1989	DBLP DOI BibTeX RDF
22	Youhei Akimoto, Yuichi Nagata, Isao Ono, Shigenobu Kobayashi	Theoretical analysis of evolutionary computation on continuously differentiable functions.	GECCO	2010	DBLP DOI BibTeX RDF	cmaess, continuously differentiable functions, local convergence, edas, constrained minimization
22	Alberto Avritzer, Rajanikanth Tanikella, Kiran James, Robert G. Cole, Elaine J. Weyuker	Monitoring for security intrusion using performance signatures.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	performance signatures, security, measurement, monitoring
22	T.-H. Hubert Chan, Anupam Gupta 0001	Approximating TSP on metrics with bounded global growth.	SODA	2008	DBLP BibTeX RDF
22	Ajay Gulati, Peter J. Varman	RFQ: Redemptive Fair Queuing.	ESA	2008	DBLP DOI BibTeX RDF
22	Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal	Electing an Eventual Leader in an Asynchronous Shared Memory System.	DSN	2007	DBLP DOI BibTeX RDF