Search results for "Laws"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Wenjie Dong, Jay A. Farrell	Consensus of multiple nonholonomic systems.	CDC	2008	DBLP DOI BibTeX RDF
19	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
19	Enrico Formenti, Jarkko Kari, Siamak Taati	The Most General Conservation Law for a Cellular Automaton.	CSR	2008	DBLP DOI BibTeX RDF
19	Julia A. Ekstrom, Gloria T. Lau	Exploratory text mining of ocean law to measure overlapping agency and jurisdictional authority.	DG.O	2008	DBLP BibTeX RDF	legal jurisdiction, ocean management, text mining, overlap
19	Arvind Srinivasan 0005, Gaurav Baone	Classification Challenges in Email Archiving.	RSCTC	2008	DBLP DOI BibTeX RDF
19	Freddy Lécué, Alain Léger, Alexandre Delteil	DL Reasoning and AI Planning for Web Service Composition.	Web Intelligence	2008	DBLP DOI BibTeX RDF
19	Kai Shen, Alex Zhang, Terence Kelly, Christopher Stewart	Operational analysis of processor speed scaling.	SPAA	2008	DBLP DOI BibTeX RDF	acpi, datacenter-on-chip, p-states, scheduling, performance modeling, power, multicore, capacity planning, queuing, dynamic resource allocation, multi-processor, operational analysis, internet servers
19	Hak-Keung Lam, Frank H. F. Leung	LMI-Based Stability and Performance Conditions for Continuous-Time Nonlinear Systems in Takagi-Sugeno's Form.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
19	Hung-Ching Chen, Mark K. Goldberg, Malik Magdon-Ismail, William A. Wallace	Learning What Makes a Society Tick.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
19	José Arturo González Gómez	Simulation as an intuition building tool for factory physics.	SCSC	2007	DBLP BibTeX RDF	factory physics, science of manufacturing, intuition, learning tool, operations management
19	Philippe Jorrand	Quantum information processing and communication: the computer science perspective.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF
19	Huibiao Zhu, Jifeng He 0001, Geguang Pu, Jing Li 0062	An Operational Approach to BPEL-like Programming.	SEW	2007	DBLP DOI BibTeX RDF	Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling
19	Philippe Jorrand	The quantum challenge to computer science.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	quantum information processing and communication
19	Henri Huijberts, Rui Liao	Stable Power Control in Ad-Hoc Wireless Networks.	ICNSC	2007	DBLP DOI BibTeX RDF
19	Samar Abdi, Daniel Gajski	Verification of System Level Model Transformations.	Int. J. Parallel Program.	2006	DBLP DOI BibTeX RDF	verification, model transformations, design methodology, System level modeling
19	Guillaume Delyon, Frédéric Galland, Philippe Réfrégier	Minimal Stochastic Complexity Image Partitioning With Unknown Noise Model.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
19	Marie Flavie Auclair-Fortier, Djemel Ziou	A global approach for solving evolutive heat transfer for image denoising and inpainting.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
19	Jeff W. Sanders	Computations and Relational Bundles.	RelMiCS	2006	DBLP DOI BibTeX RDF
19	Joon Ahn, Bhaskar Krishnamachari	Is data-centric storage and querying scalable?	SenSys	2006	DBLP DOI BibTeX RDF	wireless sensor networks, modeling, scalability, performance analysis, energy efficiency, querying, theory
19	Hong Shi, Long Wang 0001, Tianguang Chu	Coordinated Control of Multiple Interactive Dynamical Agents with Asymmetric Coupling Pattern and Switching Topology.	IROS	2006	DBLP DOI BibTeX RDF
19	Rodrigo B. de Paes, Gustavo R. de Carvalho, Maíra A. de C. Gatti, Carlos José Pereira de Lucena, Jean-Pierre Briot, Ricardo Choren	Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems.	E4MAS	2006	DBLP DOI BibTeX RDF
19	Eric Deschamps, Sébastien Henry, Eric Zamaï	Synchronization of Operating Part Model in Failure Context.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
19	Sufyan Almajali, Tzilla Elrad	Dynamic Network Policies Using Aspect Oriented Network Framework.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
19	Xiaocai Zhu, Guohua Dong, Dewen Hu, Zixing Cai	Robust Stabilization of Wheeled Mobile Robots Moving on Uncertain Uneven Surface.	ISDA (3)	2006	DBLP DOI BibTeX RDF	Transverse function, Robust stabilization, Lie group, Backstepping, Wheeled mobile robots
19	Melissa M. Simmons, Pamela Vercellone-Smith, Phillip A. Laplante	Understanding Open Source Software through Software Archaeology: The Case of Nethack.	SEW	2006	DBLP DOI BibTeX RDF
19	Motofumi T. Suzuki, Yoshitomo Yaginuma, Tsuneo Yamada, Yasutaka Shimizu	A Shape Feature Extraction Method Based on 3D Convolution Masks.	ISM	2006	DBLP DOI BibTeX RDF
19	Alexander Artikis, Lloyd Daniel Kamara, Jeremy Pitt	A Norm-Governed Systems Perspective of Ad Hoc Networks.	ESAW	2006	DBLP DOI BibTeX RDF
19	Laura Galluccio, Francesco Licandro, Giacomo Morabito, Giovanni Schembra	An analytical framework for the design of intelligent algorithms for adaptive-rate MPEG video encoding in next-generation time-varying wireless networks.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
19	Hong Shi, Long Wang 0001, Tianguang Chu, Minjie Xu	Flocking Control of Multiple Interactive Dynamical Agents with Switching Topology via Local Feedback.	ECAL	2005	DBLP DOI BibTeX RDF
19	Gregorio Robles, Juan José Amor, Jesús M. González-Barahona, Israel Herraiz	Evolution and Growth in Large Libre Software Projects.	IWPSE	2005	DBLP DOI BibTeX RDF
19	Moni Naor, Asaf Nussboim, Eran Tromer	Efficiently Constructible Huge Graphs That Preserve First Order Properties of Random Graphs.	TCC	2005	DBLP DOI BibTeX RDF
19	Andrea Omicini, Alessandro Ricci, Mirko Viroli	Time-Aware Coordination in ReSpecT.	COORDINATION	2005	DBLP DOI BibTeX RDF
19	Leonardo Cole, Paulo Borba	Deriving refactorings for AspectJ.	AOSD	2005	DBLP DOI BibTeX RDF	aspect-oriented programming, refactoring, separation of concerns, AspectJ
19	Yifeng Chen, Jeff W. Sanders	Logic of global synchrony.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	PRAM, reactive programming, Bulk-Synchronous Parallelism
19	Susan W. Brenner, Joseph J. Schwerha	Introduction-Cybercrime: A Note on International Issues.	Inf. Syst. Frontiers	2004	DBLP DOI BibTeX RDF	cybercrime
19	Leonardo Cole, Paulo Borba	Deriving refactorings for aspectJ.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	aspect-oriented programming, refactoring, separation of concerns, aspectJ
19	Xinbei Tang, Jim Woodcock 0001	Travelling Processes.	MPC	2004	DBLP DOI BibTeX RDF
19	Yifeng Chen, Zhiming Liu 0001	Integrating Temporal Logics.	IFM	2004	DBLP DOI BibTeX RDF
19	Paolo De Gregorio, Aonghus Lawlor, Phil Bradley, Kenneth A. Dawson	Cellular Automata with Rare Events; Resolution of an Outstanding Problem in the Bootstrap Percolation Model.	ACRI	2004	DBLP DOI BibTeX RDF
19	Jan Chomicki	Preference formulas in relational queries.	ACM Trans. Database Syst.	2003	DBLP DOI BibTeX RDF	query optimization, relational algebra, preferences, Preference queries
19	Naftaly H. Minsky	On Conditions for Self-Healing in Distributed Software Systems.	Active Middleware Services	2003	DBLP DOI BibTeX RDF
19	Michele Boreale, Daniele Gorla	On Compositional Reasoning in the Spi-calculus.	FoSSaCS	2002	DBLP DOI BibTeX RDF	reasoning on security, process calculi, axiomatization
19	Tomoko Ninomiya, Masao Mukaidono	Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra.	ISMVL	2002	DBLP DOI BibTeX RDF
19	Alain Ratle, Michèle Sebag	A Novel Approach to Machine Discovery: Genetic Programming and Stochastic Grammars.	ILP	2002	DBLP DOI BibTeX RDF
19	David D. Yao	Dynamic Scheduling via Polymatroid Optimization.	Performance	2002	DBLP DOI BibTeX RDF
19	James H. Elder	Ecological Statistics of Contour Grouping.	Biologically Motivated Computer Vision	2002	DBLP DOI BibTeX RDF
19	Jingde Cheng	A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery.	Discovery Science	1998	DBLP DOI BibTeX RDF
19	Ron Kimmel, Nahum Kiryati, Alfred M. Bruckstein	Analyzing and Synthesizing Images by Evolving Curves with the Osher-Sethian Method.	Int. J. Comput. Vis.	1997	DBLP DOI BibTeX RDF	distance maps, minimal geodesics, segmentation, shape from shading, numerical methods, halftoning, offsets
19	Monika Wierse	A new theoretically motivated higher order upwind scheme on unstructured grids of simplices.	Adv. Comput. Math.	1997	DBLP DOI BibTeX RDF	35L60, 35L65, 35L67, 65C20, 76N15, 65N30, conservation law, unstructured grid, adaptive mesh refinement, finite volume method, 65M12, 65M60
19	Françoise Bellegarde	ASTRE: Towards a Fully Automated Program Transformation System.	RTA	1995	DBLP DOI BibTeX RDF
19	Bernhard Reus, Thomas Streicher	Verifying Properties of Module Construction in Type Theory.	MFCS	1993	DBLP DOI BibTeX RDF
19	Mannes Poel, Job Zwiers	Layering Techniques for Development of Parallel Systems.	CAV	1992	DBLP DOI BibTeX RDF
17	Vladimir Braverman, Rafail Ostrovsky	Zero-one frequency laws.	STOC	2010	DBLP DOI BibTeX RDF	data streams, randomized algorithms, theory of computation
17	Joon Ahn, Bhaskar Krishnamachari	Scaling laws for data-centric storage and querying in wireless sensor networks.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	wireless sensor networks, modeling, scalability, performance analysis, energy efficiency, querying
17	Laëtitia Matignon, Guillaume J. Laurent, Nadine Le Fort-Piat	Design of semi-decentralized control laws for distributed-air-jet micromanipulators by reinforcement learning.	IROS	2009	DBLP DOI BibTeX RDF
17	Carlo Altamirano, Alberto Robledo	Generalized Thermodynamics Underlying the Laws of Zipf and Benford.	Complex (2)	2009	DBLP DOI BibTeX RDF	Zipf’s law, Benford’s law, generalized thermodynamics, fractal phase space
17	Igor Yevin, Alexander Koblyakov	Hopfield's Model of Patterns Recognition and Laws of Artistic Perception.	Complex (2)	2009	DBLP DOI BibTeX RDF	Wundt curve, musical tonality, ambiguity, catastrophe theory
17	Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio	A Complete Set of Object Modeling Laws for Alloy.	SBMF	2009	DBLP DOI BibTeX RDF
17	Panagiotis Besbeas, Byron J. T. Morgan	Improved estimation of the stable laws.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Arithmetic spacing, Bounded influence, Efficiency comparison, First zero, k-L method, Koutrouvelis method, Testing for stability, Transform variable selection, Robustness, Maximum-likelihood, Goodness-of-fit
17	Susan Leigh Anderson	Asimov's "three laws of robotics" and machine metaethics.	AI Soc.	2008	DBLP DOI BibTeX RDF
17	Leman Akoglu, Mary McGlohon, Christos Faloutsos	RTM: Laws and a Recursive Generator for Weighted Time-Evolving Graphs.	ICDM	2008	DBLP DOI BibTeX RDF
17	Mohammed Marey, François Chaumette	Analysis of classical and new visual servoing control laws.	ICRA	2008	DBLP DOI BibTeX RDF
17	Giovanni Incerti	Vibration control of a SCARA manipulator using pseudo-polynomial motion laws.	IROS	2008	DBLP DOI BibTeX RDF
17	Mouna Rachidi, Christine Chappard, Arnaud Marchadier, Clotilde Gadois, Eric Lespessailles, Claude Laurent Benhamou	Application of Laws' masks to bone texture analysis: An innovative image analysis tool in osteoporosis.	ISBI	2008	DBLP DOI BibTeX RDF
17	Georges Bastin, Jean-Michel Coron, Brigitte d'Andréa-Novel	Boundary feedback control and Lyapunov stability analysis for physical networks of 2×2 hyperbolic balance laws.	CDC	2008	DBLP DOI BibTeX RDF
17	Tingshu Hu	Nonlinear feedback laws for practical stabilization of systems with input and state constraints.	CDC	2008	DBLP DOI BibTeX RDF
17	Lukasz Hladowski, Zhonglun Cai, Krzysztof Galkowski, Eric Rogers, Christopher T. Freeman, Paul L. Lewin	Using 2D systems theory to design output signal based iterative learning control laws with experimental verification.	CDC	2008	DBLP DOI BibTeX RDF
17	Fawzi Mulki	Implementing national copyright laws: a Jordanian case study.	ICEGOV	2008	DBLP DOI BibTeX RDF	Jordan, United States, copyright law
17	Abdelaziz Khadraoui, Wanda Opprecht, Christine Aïdonidis, Michel Léonard	Laws-Based Ontology for e-Government Services Construction Case Study: The Specification of Services in Relationship with the Venture Creation in Switzerland.	PoEM	2008	DBLP DOI BibTeX RDF	legal sources, Information System, e-Government, service, activity
17	Christos Faloutsos	Graph Mining: Laws, Generators and Tools.	PAKDD	2008	DBLP DOI BibTeX RDF
17	Christos Faloutsos	Graph mining: laws, generators and tools.	Internet Measurement Conference	2008	DBLP DOI BibTeX RDF
17	Shuchin Aeron, Venkatesh Saligrama	Wireless Ad Hoc Networks: Strategies and Scaling Laws for the Fixed SNR Regime.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
17	Songming Hou, Xu-Dong Liu	Solutions of Multi-dimensional Hyperbolic Systems of Conservation Laws by Square Entropy Condition Satisfying Discontinuous Galerkin Method.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Ams(mus) Subject Classification Primary 65M10, Secondary 65M05
17	Andrew J. Crawford, Vittoria Bruni, Anil C. Kokaram, Domenico Vitulano	Multi-Scale Semi-Transparent Blotch Removal on Archived Photographs using Bayesian Matting Techniques and Visibility Laws.	ICIP (1)	2007	DBLP DOI BibTeX RDF
17	Christos Faloutsos	Data Mining Using Fractals and Power Laws.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF
17	Wenhuan Lu, Mitsuru Ikeda	Capturing a Conceptual Model for Intercultural Collaboration in Copyright Management (A Domain Ontology of International Copyright Laws).	IWIC	2007	DBLP DOI BibTeX RDF	law article, intercultural collaboration, intention model
17	Prathyush P. Menon, Jongrae Kim, Declan G. Bates, Ian Postlethwaite	Clearance of Nonlinear Flight Control Laws Using Hybrid Evolutionary Optimization.	IEEE Trans. Evol. Comput.	2006	DBLP DOI BibTeX RDF
17	Bo Wang 0004, Junshan Zhang, Lizhong Zheng	Achievable Rates and Scaling Laws of Power-Constrained Wireless Sensory Relay Networks.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
17	Steve Bryson, Doron Levy	On the Total Variation of High-Order Semi-Discrete Central Schemes for Conservation Laws.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	AMS(MOS) Subject Classification 65M06
17	Joon Ahn, Bhaskar Krishnamachari	Fundamental scaling laws for energy-efficient storage and querying in wireless sensor networks.	MobiHoc	2006	DBLP DOI BibTeX RDF	wireless sensor networks, modeling, scalability, performance analysis, energy efficiency, querying, theory
17	Lance Fortnow, John M. Hitchcock, Aduri Pavan, N. V. Vinodchandran, Fengming Wang	Extracting Kolmogorov Complexity with Applications to Dimension Zero-One Laws.	ICALP (1)	2006	DBLP DOI BibTeX RDF
17	Christos Faloutsos	Data Mining Using Fractals and Power Laws.	SETN	2006	DBLP DOI BibTeX RDF
17	Rafael Bailón-Moreno, Encarnación Jurado-Alameda, Rosario Ruiz-Baños, Jean Pierre Courtial	Bibliometric laws: Empirical flaws of fit.	Scientometrics	2005	DBLP DOI BibTeX RDF
17	Smadar Karni, Alexander Kurganov	Local error analysis for approximate solutions of hyperbolic conservation laws.	Adv. Comput. Math.	2005	DBLP DOI BibTeX RDF	AMS subject classification 65M15, 35L65
17	Mark G. Arnold	Approximating Trigonometric Functions with the Laws of Sines and Cosines using the Logarithmic Number System.	DSD	2005	DBLP DOI BibTeX RDF
17	H. Joachim Schroll	Relaxed High Resolution Schemes for Hyperbolic Conservation Laws.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	high order reconstruction, artificial compression, Conservation law, relaxation scheme
17	Michael Gastpar, Martin Vetterli	Power-bandwidth-distortion scaling laws for sensor networks.	IPSN	2004	DBLP DOI BibTeX RDF	OPTA (optimum performance theoretically attainable), sensor networks, joint source-channel coding, separation theorem
17	Christos Faloutsos	Next Generation Data Mining Tools: Power Laws and Self-similarity for Graphs, Streams and Traditional Data.	PKDD	2003	DBLP DOI BibTeX RDF
17	Praveen Kumar Gopala, Hesham El Gamal	On the scaling laws of dense wireless sensor networks.	SenSys	2003	DBLP DOI BibTeX RDF	information-theoretic design, sensor cooperation, sourcechannel coding separation, observability, transport capacity
17	Henk Stolk, Kevin Gates, Jim Hanan	Discovery of Emergent Natural Laws by Hierarchical Multi-Agent Systems.	IAT	2003	DBLP DOI BibTeX RDF
17	Christos Faloutsos	Next Generation Data Mining Tools: Power Laws and Self-similarity for Graphs, Streams and Traditional Data.	ECML	2003	DBLP DOI BibTeX RDF
17	Diana F. Gordon-Spears	Asimov's Laws: Current Progress.	FAABS	2002	DBLP DOI BibTeX RDF
17	James P. Hogan	Asimov's Laws.	FAABS	2002	DBLP DOI BibTeX RDF
17	Alex Fabrikant, Elias Koutsoupias, Christos H. Papadimitriou	Heuristically Optimized Trade-Offs: A New Paradigm for Power Laws in the Internet.	ICALP	2002	DBLP DOI BibTeX RDF
17	Terrence A. Maxwell	Too Much to Carry? Copyright Laws in the Electronic Environment.	HICSS	2002	DBLP DOI BibTeX RDF
17	Huanan Yang	A Local Extrapolation Method for Hyperbolic Conservation Laws. I. The ENO Underlying Schemes.	J. Sci. Comput.	2000	DBLP DOI BibTeX RDF	shock capturing schemes, extrapolation method, conservation law
17	Adam A. Porter	Fundamental Laws and Assumptions of Software Maintenance.	Empir. Softw. Eng.	1997	DBLP DOI BibTeX RDF	Theory Development, Empirical Studies, Software Maintenance, Interdisciplinary Research
15	Sriram Sankaranarayanan 0001	Automatic invariant generation for hybrid systems using ideal fixed points.	HSCC	2010	DBLP DOI BibTeX RDF	verification, hybrid systems, invariants, conservation laws, algebraic geometry
15	Normand Séguin, Alain Abran, Robert Dupuis	Software engineering principles: a survey and an analysis.	C3S2E	2010	DBLP DOI BibTeX RDF	fundamentals, software engineering principles, rules, concepts, laws
15	Min Fu, Xianhong Li, Shuyang Wang	Enterprise Research and Development Strategy Based on TRIZ Evolution Theory.	MVHI	2010	DBLP DOI BibTeX RDF	TRIZ evolution theory, S-Curve, technology system forecasting laws, R&D strategy