Search results for "Laws"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Nikola K. Kasabov, S. J. Sinclair, Richard Kilgour, Catherine I. Watson, Mark R. Laws, Diana Kassabova	Intelligent human computer interfaces and the case study of building English-to-Maori talking dictionary.	ANNES	1995	DBLP DOI BibTeX RDF
27	Frank P. Kelly, C. N. Laws	Dynamic routing in open queueing networks: Brownian models, cut constraints and resource pooling.	Queueing Syst. Theory Appl.	1993	DBLP DOI BibTeX RDF	Brownian network models, resource pooling, threshold strategies, generalized cut constraints, heavy traffic analysis, pathwise solution, dynamic sequencing, shortest delay routing
27	P. J. Hunt, C. N. Laws	Asymptotically Optimal Loss Network Control.	Math. Oper. Res.	1993	DBLP DOI BibTeX RDF
27	Peter Laws, Mervat Mosa	Konzept für ein diskretes optoelektronisches rekursives Breitbandfilter 2. Ordnung.	ASST	1990	DBLP DOI BibTeX RDF
27	Gerry Laws	Multiprocessing on the Nubus using cache inhibited pages.	Microprocess. Microsystems	1988	DBLP DOI BibTeX RDF
27	Les Hatton, Andy Wright, Stuart Smith, Gregg Parkes, Paddy Bennett, Robert Laws	The Seismic Kernel System-a Large-scale Exercise in Fortran 77 Portability.	Softw. Pract. Exp.	1988	DBLP DOI BibTeX RDF
27	Karen Seo, Jon Crowcroft, Pål Spilling, John Laws, John Leddy	Distributed testing and measurement across the Atlantic packet satellite network(SATNET).	SIGCOMM	1988	DBLP DOI BibTeX RDF	TCP/IP
27	Jerry R. Hobbs, William Croft 0001, Todd R. Davies, Douglas Edwards, Kenneth I. Laws	Commonsense Metaphysics and Lexical Semantics.	Comput. Linguistics	1987	DBLP BibTeX RDF
27	Jerry R. Hobbs, William Croft 0001, Todd R. Davies, Douglas Edwards, Kenneth I. Laws	Commonsense Metaphysics and Lexical Semantics.	HLT	1986	DBLP BibTeX RDF
27	Jerry R. Hobbs, William Croft 0001, Todd R. Davies, Douglas Edwards, Kenneth I. Laws	Commonsense Metaphysics and Lexical Semantics.	ACL	1986	DBLP BibTeX RDF
27	Ben A. Laws Jr.	Microbe: A self commenting microassembler.	MICRO	1977	DBLP BibTeX RDF
27	M. Deparis, A. Dünki, Michel Gien, J. Laws, Gesualdo Le Moli, K. Weaving	The Implementation of an End to End Protocol by EIN Centres: A Survey and Comparison.	ICCC	1976	DBLP BibTeX RDF
27	Ben A. Laws Jr., Craig K. Rushforth	A Cellular-Array Multiplier for GF(2m).	IEEE Trans. Computers	1971	DBLP DOI BibTeX RDF
26	Adolfo Villafiorita, Komminist Weldemariam, Angelo Susi, Alberto Siena	Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework.	ICDS	2010	DBLP DOI BibTeX RDF	Nomos, VLPM, Laws, Goal-Oriented, BPR
26	Loïck Lhote, Brigitte Vallée	Gaussian Laws for the Main Parameters of the Euclid Algorithms.	Algorithmica	2008	DBLP DOI BibTeX RDF	Euclid’s algorithms, Distributional analysis, Transfer operator, Asymptotic Gaussian laws, Tauberian theorems, Perron’s formula, Dynamical analysis of algorithms, Dynamical systems, Analysis of algorithms, Average-case analysis
26	Jure Leskovec, Jon M. Kleinberg, Christos Faloutsos	Graphs over time: densification laws, shrinking diameters and possible explanations.	KDD	2005	DBLP DOI BibTeX RDF	densification power laws, small-world phenomena, graph mining, heavy-tailed distributions, graph generators
25	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	A UTP semantics for Circus.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Concurrency, Theorem proving, Relational model, Refinement calculus
25	Fumiaki Takagi, Hiroto Sakahara, Tetsu Tabata, Hiroyuki Yamagishi, Takashi Suzuki, Fumio Miyazaki	Navigation control for tracking and catching a moving target.	IROS	2009	DBLP DOI BibTeX RDF
25	Satyadev Nandakumar	An effective ergodic theorem and some applications.	STOC	2008	DBLP DOI BibTeX RDF	ergodic theorem, algorithmic randomness
25	Bernardo A. Movsichoff, Constantino M. Lagoa, Hao Che	End-to-end optimal algorithms for integrated QoS, traffic engineering, and failure recovery.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	distributed traffic control, QoS, optimization, traffic engineering, sliding mode control, failure recovery
25	Bernardo A. Movsichoff, Constantino M. Lagoa, Hao Che	Decentralized optimal traffic engineering in connectionless networks.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
25	Dominik Niederberger	Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration.	HSCC	2005	DBLP DOI BibTeX RDF
25	Caroline Chopinaud, Amal El Fallah Seghrouchni, Patrick Taillibert	Dynamic Self-control of Autonomous Agents.	PROMAS	2005	DBLP DOI BibTeX RDF
25	Gundars Kaupins, Robert P. Minch	Legal and Ethical Implications of Employee Location Monitoring.	HICSS	2005	DBLP DOI BibTeX RDF
25	Tomoko Ninomiya, Masao Mukaidono	Complete and Independent Sets of Axioms of Boolean Algebra.	ISMVL	2003	DBLP DOI BibTeX RDF
25	Yoshifumi Kitamura, Susumu Ogata, Fumio Kishino	A manipulation environment of virtual and real objects using a magnetic metaphor.	VRST	2002	DBLP DOI BibTeX RDF	magnetic metaphor, virtual reality, augmented reality, haptics, mixed reality, object manipulation, visual simulation
25	Marie Flavie Auclair-Fortier, Pierre Poulin, Djemel Ziou, Madjid Allili	A Computational Algebraic Topology Model for the Deformation of Curves.	AMDO	2002	DBLP DOI BibTeX RDF	Curve deformation, principle of linear momentum, computational algebraic topology, road database updating, active contours
25	Geoff Wyvill, Chris C. Handley	The 'Thermodynamics' of Shape.	Shape Modeling International	2001	DBLP DOI BibTeX RDF
25	Miomir Vukobratovic, Vladimir Matijevic, Veljko Potkonjak	Control of Robots with Elastic Joints Interacting with Dynamic Environment.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	harmonic-drive reducer, dynamic environment, force control, hybrid control, elastic joint, impedance
25	Alexander Moshe Rabinovich	Logic of Trace Languages (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
23	Animashree Anandkumar, Ananthram Swami, Joseph E. Yukich, Lang Tong	Energy Scaling Laws for Distributed Inference in Random Fusion Networks.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
23	Isabel Gonzalo-Fonrodona, Miguel A. Porras	Scaling Power Laws in the Restoration of Perception with Increasing Stimulus in Deficitary Natural Neural Network.	IWINAC (1)	2009	DBLP DOI BibTeX RDF
23	Kenta Tanaka, Yasuyuki Kihara, Yasuyoshi Yokokohji	Synthesizing a desired trajectory and sensory feedback control laws for an origami-folding robot based on the statistical characteristics of direct teaching by a human.	ICRA	2009	DBLP DOI BibTeX RDF
23	Charalampos E. Tsourakakis	Fast Counting of Triangles in Large Real Networks without Counting: Algorithms and Laws.	ICDM	2008	DBLP DOI BibTeX RDF
23	Adolfo Anta Martinez, Paulo Tabuada	Space-time scaling laws for self-triggered control.	CDC	2008	DBLP DOI BibTeX RDF
23	Colin N. Jones, Manfred Morari	The double description method for the approximation of explicit MPC control laws.	CDC	2008	DBLP DOI BibTeX RDF
23	Adan Simon-Muela, Youssef El Basri, Corinne Alonso, Jean Louis Chaptal	Review of digital control laws for high-frequency point-of-load converters.	ISCAS	2008	DBLP DOI BibTeX RDF
23	Pedro Terán 0001	On Convergence in Necessity and Its Laws of Large Numbers.	SMPS	2008	DBLP DOI BibTeX RDF
23	Giulio Concas, Michele Marchesi, Sandro Pinna, Nicola Serra	Power-Laws in a Large Object-Oriented Software System.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	D.2.3.a Object-oriented programming, D.2.4.h Statistical methods, D.2.8.a Complexity measures, D.2.8.d Product metrics, D.2.8.e Software science, D.3.2.p Object-oriented languages, G.3.p Stochastic processes
23	Lael Odhner, Jun Ueda, H. Harry Asada	Stochastic Optimal Control Laws for Cellular Artificial Muscles.	ICRA	2007	DBLP DOI BibTeX RDF
23	Ralf Rantzau, Christoph Mangold	Laws for Rewriting Queries Containing Division Operators.	ICDE	2006	DBLP DOI BibTeX RDF
23	Wenxuan Zhang, Constantin Serban, Naftaly H. Minsky	Establishing Global Properties of Multi-Agent Systems Via Local Laws.	E4MAS	2006	DBLP DOI BibTeX RDF
23	Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima	Inducing Causal Laws by Regular Inference.	ILP	2005	DBLP DOI BibTeX RDF
23	Guido Boella, Leendert W. N. van der Torre	Enforceable social laws.	AAMAS	2005	DBLP DOI BibTeX RDF	MAS theory, normative multiagent systems, normative systems, artificial social systems
23	Lorenzo Pareschi, Mohammed Seaïd	A New Monte Carlo Approach for Conservation Laws and Relaxation Systems.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
23	Caterina Lupo, Carlo Batini	A Federative Approach to Laws Access by Citizens: The "Normeinrete" System.	EGOV	2003	DBLP DOI BibTeX RDF
23	Sylvie Gibet, Jean-François Kamp, Franck Poirier	Gesture Analysis: Invariant Laws in Movement.	Gesture Workshop	2003	DBLP DOI BibTeX RDF
23	Christos Faloutsos	Future directions in data mining: streams, networks, self-similarity and power laws.	CIKM	2002	DBLP DOI BibTeX RDF
23	Yoji Kondo	On Laws of Robotics.	FAABS	2002	DBLP DOI BibTeX RDF
23	Kazumi Saito, Pat Langley	Discovering Empirical Laws of Web Dynamics.	SAINT	2002	DBLP DOI BibTeX RDF	Internet based data engineering, computational discovery, empirical law, neural networks, Web dynamics
23	Daniel Thalmann, Jean-Sébastien Monzani	Behavioural Animation of Virtual Humans: What Kind of Laws and Rules?	CA	2002	DBLP DOI BibTeX RDF
23	Alexander F. Gelbukh, Grigori Sidorov	Zipf and Heaps Laws' Coefficients Depend on Language.	CICLing	2001	DBLP DOI BibTeX RDF
23	Michael W. Mislove	Nondeterminism and Probabilistic Choice: Obeying the Laws.	CONCUR	2000	DBLP DOI BibTeX RDF
23	Johnston Paul Wray	Laws of Data Parallel Assignment.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
23	Jifeng He 0001, Quentin Miller, Lei Chen	Algebraic Laws for BSP Programming.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
23	Sonne Preminger, Eli Upfal	Safe and Efficient Traffic Laws for Mobile Robots.	SWAT	1996	DBLP DOI BibTeX RDF
22	Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton	SequenceL: transparency and multi-core parallelisms.	DAMP	2010	DBLP DOI BibTeX RDF	computational laws, sequencel, multi-core, transparency
22	Yana Volkovich, Nelly Litvak, Bert Zwart	Extremal Dependencies and Rank Correlations in Power Law Networks.	Complex (2)	2009	DBLP DOI BibTeX RDF	Extremal dependencies, Web, Statistical analysis, Wikipedia, PageRank, Power laws, Preferential attachment
22	Dirk G. F. M. Bollen, Harry Halpin	The role of tag suggestions in folksonomies.	Hypertext	2009	DBLP DOI BibTeX RDF	tagging, power laws, tag suggestions
22	George Dimitri Christelis, Michael Rovatsos	Automated norm synthesis in an agent-based planning environment.	AAMAS (1)	2009	DBLP BibTeX RDF	social laws, coordination, conflict resolution, norms, automated planning
22	Mary McGlohon, Leman Akoglu, Christos Faloutsos	Weighted graphs and disconnected components: patterns and a generator.	KDD	2008	DBLP DOI BibTeX RDF	evolving graphs, data mining, social networks, generative models, power laws
22	Vittoria Bruni, Paola Ferrara, Domenico Vitulano	Color Scratches Removal Using Human Perception.	ICIAR	2008	DBLP DOI BibTeX RDF	Digital Film Restoration, Line Scratch Detection and Restoration, Light Diffraction, Visibility Laws
22	Rémi Abgrall, F. Marpeau	Residual Distribution Schemes on Quadrilateral Meshes.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	residual distribution schemes, structured and hybrid meshes, non oscillatory schemes, Conservation laws
22	Carmel McNaught, Paul Lam, Shirley Leung, Kin-Fai Cheng	Evaluating an Online Module on Copyright Law and Intellectual Property.	WEBIST (Selected Papers)	2007	DBLP DOI BibTeX RDF	Specific facts, schematic knowledge, knowledge retention, e-learning, intellectual property, schema theory, copyright laws
22	Debora Gil, Oriol Rodriguez-Leor, Petia Radeva, Aura Hernandez	Assessing Artery Motion Compensation in IVUS.	CAIP	2007	DBLP DOI BibTeX RDF	validation standards, IVUS motion compensation, Fourier development, quality measures, conservation laws
22	John F. Sowa	Worlds, Models and Descriptions.	Stud Logica	2006	DBLP DOI BibTeX RDF	Dunn’s semantics, model sets, meaning-preserving translation, semiotics, laws, model theory, possible worlds, intentionality
22	Abbas El Gamal, James P. Mammen, Balaji Prabhakar, Devavrat Shah	Optimal throughput-delay scaling in wireless networks: part I: the fluid model.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	throughput scaling, throughput-delay tradeoff, wireless networks, queueing theory, random walks, scaling laws
22	Shengchao Qin, Wei-Ngan Chin, Jifeng He 0001, Zongyan Qiu	From Statecharts to Verilog: a formal approach to hardware/software co-specification.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Operational semantics, Statecharts, Hardware/software partitioning, Homomorphism, Verilog, Algebraic laws
22	Jure Leskovec, Christos Faloutsos	Sampling from large graphs.	KDD	2006	DBLP DOI BibTeX RDF	graph sampling, graph mining, scaling laws
22	Ragib Hasan, William Yurcik	A statistical analysis of disclosed storage security breaches.	StorageSS	2006	DBLP DOI BibTeX RDF	breach disclosure laws, storage security, security breaches
22	Anne M. Payton	Data security breach: seeking a prescription for adequate remedy.	InfoSecCD	2006	DBLP DOI BibTeX RDF	data breach, data custodian, negligence, notification laws, identity theft, personal information, security breach
22	Robert R. Hoffman, David D. Woods	Toward a Theory of Complex and Cognitive Systems.	IEEE Intell. Syst.	2005	DBLP DOI BibTeX RDF	scientific laws, theory, complex systems, cognitive systems
22	José A. Carrillo 0001, Thierry Goudon	A Numerical Study on Large-Time Asymptotics of the Lifshitz-Slyozov System.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	Lifshitz-Slyozov system, coagulation-fragmentation models, phase transition, conservation laws, WENO schemes
22	Tamer A. ElBatt	On the scalability of hierarchical cooperation for dense sensor networks.	IPSN	2004	DBLP DOI BibTeX RDF	scheduling latency, transport traffic, sensor networks, data compression, spatial correlations, scaling laws
22	Yingxu Wang	On the Cognitive Informatics Foundations of Software Engineering.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	nature of software, informatics laws, programming psychology, software engineering, cognitive models, Cognitive informatics, foundations
22	Agnès Desolneux, Lionel Moisan, Jean-Michel Morel	A Grouping Principle and Four Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	Gestalt grouping laws, a contrario probabilistic model, binomial law, number of false alarms, histogram modes, clusters, alignments
22	Mark H. Carpenter, David I. Gottlieb, Chi-Wang Shu	On the Conservation and Convergence to Weak Solutions of Global Schemes.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	weak solutions, convergence, Conservation laws, conservation
22	Knut-Andreas Lie, Sebastian Noelle	An Improved Quadrature Rule for the Flux-Computation in Staggered Central Difference Schemes in Multidimensions.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	Multidimensional conservation laws, nonoscillatory central schemes, radially symmetric solutions, space-time quadrature
22	Bernardo Cockburn, Chi-Wang Shu	Runge-Kutta Discontinuous Galerkin Methods for Convection-Dominated Problems.	J. Sci. Comput.	2001	DBLP DOI BibTeX RDF	non-linear conservation laws, convection-diffusion equations, discontinuous Galerkin methods
22	Jifeng He 0001, C. A. R. Hoare	Unifying theories of healthiness condition.	APSEC	2000	DBLP DOI BibTeX RDF	healthiness condition theory, programming notations, nondeterministic programming, probabilistic program, formal specifications, parallel programming, logic programming, programming languages, algebraic specification, programming theory, programming theory, Boolean algebra, Boolean algebra, sequential programming, design optimisation, algebraic laws
22	Evelina Maria de Almeida Neves, João Eduardo Borelli, Adilson Gonzaga	Target Search by Bottom-Up and Top-Down Fuzzy Information.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	bottom-up fuzzy information, top-down fuzzy information, human visual attention, fuzzy net, fuzzy subsystems, Gestalt laws, salience index, feature extraction, visual perception, visual perception, decision rules, visual field, target search, geometrical objects
22	Dimitris Bertsimas, Georgia Mourtzinou	Decomposition results for general polling systems and their applications.	Queueing Syst. Theory Appl.	1999	DBLP DOI BibTeX RDF	switch-over times, mixed generalized Erlang arrivals, performance analysis, decomposition, heavy traffic, polling systems, distributional laws
22	Jiangling Wan, Michael P. Bieber, Jason Tsong-Li Wang, Peter A. Ng	LHM: a logic-based hypertext data model for integrating hypertext and information systems.	HICSS (3)	1995	DBLP DOI BibTeX RDF	LHM, logic-based hypertext data model, common language, independent information domains, logical bridge laws, application elements, data structures, information systems, hypermedia, document management, formal logic, expressive power, application domains, document handling, logic modeling, composite objects, high level descriptions
22	Brendan P. Mahony, Ian J. Hayes	A Case-Study in Timed Refinement: A Mine Pump.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
22	Nazim H. Madhavji	Environment Evolution: The Prism Model of Changes.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Prism model, Prism project, change-related environment infrastructures, environmental facilities, dependency structure, change structure, change-related data, qualitative judgments, built-in mechanism, data structures, software tools, policies, programming environments, feedback, processes, complex network, resources, laws, software development environment, people
21	Ulf Hlobil	The Laws of Thought and the Laws of Truth as Two Sides of One Coin.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
21	Matthias Bäcker, Gerrit Hornung	Data processing by police and criminal justice authorities in Europe - The influence of the Commission's draft on the national police laws and laws of criminal procedure.	Comput. Law Secur. Rev.	2012	DBLP DOI BibTeX RDF
21	Clare Miller	A Nation of Laws: America's Imperfect Pursuit of Laws. Peter Charles Hoffer. Lawrence, KS: University Press of Kansas, 2010, 214 pp. $24.95, ISBN 978-0-7006-1707-4.	Gov. Inf. Q.	2011	DBLP DOI BibTeX RDF
21	Frederico Luiz Gonçalves de Freitas, Zacharias Candeias Jr., Heiner Stuckenschmidt	Towards Checking Laws' Consistency through Ontology Design: The Case of Brazilian Vehicles' Laws.	J. Theor. Appl. Electron. Commer. Res.	2011	DBLP DOI BibTeX RDF
21	Miroslav Krstic	Inverse optimal adaptive control - The interplay between update laws, control laws, and Lyapunov functions.	ACC	2009	DBLP DOI BibTeX RDF
21	Isabel Gonzalo, Miguel A. Porras	Physiological Laws of Sensory Visual System in Relation to Scaling Power Laws in Biological Neural Networks.	IWINAC (1)	2007	DBLP DOI BibTeX RDF
21	Gerhard Schurz	Laws of Nature Versus System Laws.	Nature's Principles	2005	DBLP DOI BibTeX RDF
21	Derek S. Bale, Randall J. LeVeque, Sorin Mitran, James A. Rossmanith	A Wave Propagation Method for Conservation Laws and Balance Laws with Spatially Varying Flux Functions.	SIAM J. Sci. Comput.	2003	DBLP DOI BibTeX RDF
21	Robert Osserman	Kepler's Laws, Newton's Laws, and the Search for New Planets.	Am. Math. Mon.	2001	DBLP BibTeX RDF
19	Huibiao Zhu, Yongxin Zhao, Jifeng He 0001	Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
19	Hala Rifai, José-Fermi Guerrero-Castellanos, Nicolas Marchand, Guylaine Poulin	Bounded attitude control of a Flapping wing Micro Aerial Vehicle using direct sensors measurements.	ICRA	2009	DBLP DOI BibTeX RDF
19	Razvan Solea, Daniela Cernega	Sliding Mode Control for Trajectory Tracking Problem - Performance Evaluation.	ICANN (2)	2009	DBLP DOI BibTeX RDF	Mobile Robots, Sliding Mode Control, Nonlinear Control, Trajectory Tracking
19	Guowu Xie, Jianbo Chen, Iulian Neamtiu	Towards a better understanding of software evolution: An empirical study on open source software.	ICSM	2009	DBLP DOI BibTeX RDF
19	Israel Herraiz	A statistical examination of the evolution and properties of libre software.	ICSM	2009	DBLP DOI BibTeX RDF
19	Lei Ye 0009, Zhijun Wang 0001, Hao Che	A Family of QoS Aware Congestion Control Protocols.	ICC	2008	DBLP DOI BibTeX RDF