Search results for "Laws"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Enrique Alegre, Joaquín Barreiro, Manuel Castejón, Sir Suarez	Computer Vision and Classification Techniques on the Surface Finish Control in Machining Processes.	ICIAR	2008	DBLP DOI BibTeX RDF
13	Yongguang Yu, Han-Xiong Li, Guoguang Wen	Control of A Formation with One Cyclic Relation in 3-dimensional Space.	RAM	2008	DBLP DOI BibTeX RDF
13	Joseph M. Morris, Malcolm Tyrrell	Dual unbounded nondeterminacy, recursion, and fixpoints.	Acta Informatica	2007	DBLP DOI BibTeX RDF
13	Derek R. Nelson, D. Blake Barber, Timothy W. McLain, Randal W. Beard	Vector Field Path Following for Miniature Air Vehicles.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
13	Farbod Fahimi	Sliding-Mode Formation Control for Underactuated Surface Vessels.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
13	Matthias K. Gobbert, Samuel G. Webster, Timothy S. Cale	A Galerkin Method for the Simulation of the Transient 2-D/2-D and 3-D/3-D Linear Boltzmann Equation.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Boltzmann transport equation, spectral Galerkin method, chemical vapor deposition, cluster computing, discontinuous Galerkin method
13	John Hughes 0001	QuickCheck Testing for Fun and Profit.	PADL	2007	DBLP DOI BibTeX RDF
13	Yang Wang 0005, Alfred Kobsa	Respecting Users' Individual Privacy Constraints in Web Personalization.	User Modeling	2007	DBLP DOI BibTeX RDF
13	Stephen R. Lindemann, Steven M. LaValle	Smooth Feedback for Car-Like Vehicles in Polygonal Environments.	ICRA	2007	DBLP DOI BibTeX RDF
13	Giovanni Indiveri, Jan Paulus, Paul-Gerhard Plöger	Task Based Kinematical Robot Control in the Presence of Actuator Velocity Saturation and Its Application to Trajectory Tracking for an Omni-wheeled Mobile Robot.	ICRA	2007	DBLP DOI BibTeX RDF
13	Dhiah el Diehn I. Abou-Tair, Stefan Berlik, Udo Kelter	Enforcing Privacy by Means of an Ontology Driven XACML Framework.	IAS	2007	DBLP DOI BibTeX RDF
13	Alcino Cunha, Joost Visser 0001	Transformation of structure-shy programs: applied to XPath queries and strategic functions.	PEPM	2007	DBLP DOI BibTeX RDF	XML query languages, algebraic program transformation, point-free program calculation, strategic functional programming, type generalization, type specialization
13	Michele Garetto, Paolo Giaccone, Emilio Leonardi	Capacity scaling in delay tolerant networks with heterogeneous mobile nodes.	MobiHoc	2007	DBLP DOI BibTeX RDF	routing, delay tolerant networking, network capacity
13	Marcelo P. Fiore	Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic.	TLCA	2007	DBLP DOI BibTeX RDF
13	Bartek Klin	Bialgebraic Operational Semantics and Modal Logic.	LICS	2007	DBLP DOI BibTeX RDF
13	Hung-Ching Chen, Mark K. Goldberg, Malik Magdon-Ismail, William A. Wallace	Reverse Engineering an Agent-Based Hidden Markov Model for Complex Social Systems.	IDEAL	2007	DBLP DOI BibTeX RDF
13	Etienne Farcot, Jean-Luc Gouzé	Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models.	HSCC	2007	DBLP DOI BibTeX RDF
13	Franck Multon, Ludovic Hoyet, Taku Komura, Richard Kulpa	Interactive control of physically-valid aerial motion: application to VR training system for gymnasts.	VRST	2007	DBLP DOI BibTeX RDF	sports application, interactivity, dynamics, virtual human, motion control
13	Mohammad Azim Karami, Farrokh Sassani	Spacecraft momentum dumping using less than three external control torques.	SMC	2007	DBLP DOI BibTeX RDF
13	Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen	Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.	SEW	2007	DBLP DOI BibTeX RDF
13	Jingwei Wu, Richard C. Holt, Ahmed E. Hassan	Empirical Evidence for SOC Dynamics in Software Evolution.	ICSM	2007	DBLP DOI BibTeX RDF
13	Paolo Zuliani	A Formal Derivation of Grover's Quantum Search Algorithm.	TASE	2007	DBLP DOI BibTeX RDF
13	Kengy Barty, Jean-Philippe Chancelier, Guy Cohen, Michel De Lara, Thérèse Guilbaud, Pierre Carpentier	Dual effect free stochastic controls.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Dual effect, Information structure, Stochastic control
13	Roland Lenain, Benoît Thuilot, Christophe Cariou, Philippe Martinet	High accuracy path tracking for vehicles in presence of sliding: Application to farm vehicle automatic guidance for agricultural tasks.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Non linear control, Model Predictive Control of vehicles, Vehicle motion in presence of sliding effects, Path tracking of mobile robot, Agricultural robots and environmental applications, Adaptive control, Automated guided vehicle
13	Shahin Sirouspour, Ali Shahdi	Model Predictive Control for Transparent Teleoperation Under Communication Time Delay.	IEEE Trans. Robotics	2006	DBLP DOI BibTeX RDF
13	Roland L. Trope, E. Michael Power	Lessons for laptops from the 18th century.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF
13	Denis Verdon	Security policies and the software developer.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF
13	Jean-Lou De Carufel, Jules Desharnais	Demonic Algebra with Domain.	RelMiCS	2006	DBLP DOI BibTeX RDF
13	Farong Zhong, Yuxi Fu, Xiaoju Dong	Bisimulation Congruence for Asymmetric chi ^ e -Calculus.	ISPDC	2006	DBLP DOI BibTeX RDF
13	Mohammad Danesh, Farid Sheikholeslam, Mehdi Keshmiri	Robust Robot Controller Design Using Joint Position and Velocity Dependent Uncertainty Bound.	IROS	2006	DBLP DOI BibTeX RDF
13	Marius Kloetzer, Calin Belta	A Framework for Automatic Deployment of Robots in 2D and 3D Environments.	IROS	2006	DBLP DOI BibTeX RDF
13	Luca De Santis, Caterina Lupo, Carlo Marchetti, Massimo Mecella	The x-Leges System: Peer-to-Peer for Legislative Document Exchange.	EGOV	2006	DBLP DOI BibTeX RDF
13	Doug E. Shaw	New architectures for a new biology.	HPCA	2006	DBLP DOI BibTeX RDF
13	Israel Herraiz, Gregorio Robles, Jesús M. González-Barahona	Comparison between SLOCs and number of files as size metrics for software evolution analysis.	CSMR	2006	DBLP DOI BibTeX RDF	metrics, empirical studies, software evolution, libre software
13	Francesco Bullo	Motion Coordination for Multi-agent Networks.	HSCC	2006	DBLP DOI BibTeX RDF
13	Yifeng Chen	Hierarchical Organisation of Predicate-Semantic Models.	UTP	2006	DBLP DOI BibTeX RDF
13	Giovanni Indiveri, Jan Paulus, Paul-Gerhard Plöger	Motion Control of Swedish Wheeled Mobile Robots in the Presence of Actuator Saturation.	RoboCup	2006	DBLP DOI BibTeX RDF
13	Huibiao Zhu, Geguang Pu, Jifeng He 0001	A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.	ASIAN	2006	DBLP DOI BibTeX RDF
13	Juan Ignacio Mulero Martínez, Francisco García-Córdova, Juan López Coronado	Position Control Based on Static Neural Networks of Anthropomorphic Robotic Fingers.	ICANN (1)	2006	DBLP DOI BibTeX RDF
13	Lili Dong	Adaptive Estimation and Control of a Z-axis MEMS Gyroscope with Time-varying Rotation Rates.	ICAS	2006	DBLP DOI BibTeX RDF
13	Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen	From Algebraic Semantics to Denotational Semantics for Verilog.	ICECCS	2006	DBLP DOI BibTeX RDF
13	Marcus Fontoura, Mihail F. Ionescu, Naftaly H. Minsky	Decentralized Peer-to-Peer Auctions.	Electron. Commer. Res.	2005	DBLP DOI BibTeX RDF	online auctions, law-governed interaction
13	Fernando Paganini, Zhikui Wang, John C. Doyle, Steven H. Low	Congestion control for high performance, stability, and fairness in general networks.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	scalable stability, TCP, fairness, utility functions, active queue management, internet congestion control
13	Naftaly H. Minsky	Law-governed multi-agent systems: from anarchy to order.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
13	Chun-Tao Li 0002, Yong-Hong Tan	Adaptive output feedback control of systems preceded by the Preisach-type hysteresis.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
13	I-Chung Lee, Cheng-Shang Chang, Ching-Ming Lien	On the throughput of multicasting with incremental forward error correction.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
13	Rafael Bailón-Moreno, Encarnación Jurado-Alameda, Rosario Ruiz-Baños, Jean Pierre Courtial	The unified scientometric model. Fractality and transfractality.	Scientometrics	2005	DBLP DOI BibTeX RDF
13	Charles L. Karr, K. Nishita, Kenneth Graham	Adaptive Aircraft Flight Control Simulation Based on an Artificial Immune System.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	aircraft simulation, artificial immune system (AIS), adaptive control, intelligent control
13	Rasvan Constantinescu	An Outsourcing Model of Software Development.	IEEE METRICS	2005	DBLP DOI BibTeX RDF
13	Francesc-Xavier Babot, Miquel Bertran, August Climent	A Static Communication Elimination Algorithm for Distributed System Verification.	ICFEM	2005	DBLP DOI BibTeX RDF
13	Claire J. Tomlin	Session Overview Robot Design and Control.	ISRR	2005	DBLP DOI BibTeX RDF
13	Alessandro Ricci, Mirko Viroli	A timed extension of ReSpecT.	SAC	2005	DBLP DOI BibTeX RDF	tuple centres, coordination models, timed systems
13	Michael Schumacher 0001, Sascha Ossowski	The Governing Environment.	E4MAS	2005	DBLP DOI BibTeX RDF
13	Jianguo Zhou, Yifeng Chen	Generating C Code from LOGS Specifications.	ICTAC	2005	DBLP DOI BibTeX RDF
13	Uwe Schimank	From "Clean" Mechanisms to "Dirty" Models: Methodological Perspectives of an Up-Scaling of Actor Constellations.	Socionics	2005	DBLP DOI BibTeX RDF
13	Jean-Louis Vercher	Perception and Synthesis of Biologically Plausible Motion: From Human Physiology to Virtual Reality.	Gesture Workshop	2005	DBLP DOI BibTeX RDF
13	Lina Perelman, Avi Ostfeld	Water distribution systems optimal design using cross entropy.	GECCO	2005	DBLP DOI BibTeX RDF	water distribution systems, combinatorial optimization, optimal design, cross-entropy, water resources
13	Nilesh Khude, Anurag Kumar 0001, Aditya Karnik	Time and energy complexity of distributed computation in wireless sensor networks.	INFOCOM	2005	DBLP DOI BibTeX RDF
13	Giovanni Maria Sacco	No (e-)Democracy Without (e-)Knowledge.	TCGOV	2005	DBLP DOI BibTeX RDF
13	Patricia Gilfeather, Arthur B. Maccabe	Modeling Protocol Offload for Message-oriented Communication.	CLUSTER	2005	DBLP DOI BibTeX RDF
13	Sergey Khantsis, Anna Bourmistrova	UAV Controller Design Using Evolutionary Algorithms.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
13	R. Nigam, S. Liang	Perturbing Thermodynamically Unfeasible Metabolic Networks.	BSB	2005	DBLP DOI BibTeX RDF
13	Yee Leung, Jiang-Hong Ma, Michael F. Goodchild	A general framework for error analysis in measurement-based GIS Part 4: Error analysis in length and area measurements.	J. Geogr. Syst.	2004	DBLP DOI BibTeX RDF	JEL Classification C10, C31
13	Lawrence C. Paulson	Organizing Numerical Theories Using Axiomatic Type Classes.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	axiomatic type classes, polymorphism, arithmetic, overloading, Isabelle
13	J. Balasubramaniam 0001, C. Jagan Mohan Rao	On the distributivity of implication operators over T and S norms.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
13	Calin Belta	On Controlling Aircraft and Underwater Vehicles.	ICRA	2004	DBLP DOI BibTeX RDF
13	William M. Spears, Diana F. Spears, Rodney Heil	A Formal Analysis of Potential Energy in a Multi-agent System.	FAABS	2004	DBLP DOI BibTeX RDF
13	Tianshi Chen 0001, Zhiyuan Liu 0005, Run Pei, Hong Chen 0003	An approach to integral input-to-state stabilization via satisficing strategy.	ICARCV	2004	DBLP DOI BibTeX RDF
13	Félix F. Ramos 0001, H. Iván Piza, Fabiel Zúñiga	GeDA-3D a Middleware Useful to Handle the Evolution in Behavioral Animation-Based Virtual Worlds with a Multi-agent Architecture.	IICS	2004	DBLP DOI BibTeX RDF
13	Marc Cavazza, Jean-Luc Lugrin, Simon Hartley, Paolo Libardi, Matthew J. Barnes, Mikael Le Bras, Marc Le Renard, Louis Bec, Alok Nandi	New ways of worldmaking: the Alterne platform for VR art.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	causality, digital arts, intelligent virtual environments, qualitative physics
13	Philippe Jorrand, Marie Lalire	From Quantum Physics to Programming Languages: A Process Algebraic Approach.	UPP	2004	DBLP DOI BibTeX RDF
13	Femke Reitsma, Shane Engel	Searching for 2D Spatial Network Holes.	ICCSA (2)	2004	DBLP DOI BibTeX RDF	street network, urban morphology, network, topological analysis
13	Hitoshi Kino, Shigeru Yabe, Naoki Honjo, Sadao Kawamura	A Sensor-Actuator Map for Organization of Position Sensor Feedback Control for Multiple Links Structure / Wire Driven System.	AINA (2)	2004	DBLP DOI BibTeX RDF
13	Alberto Pardo	Combining Datatypes and Effects.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
13	Xinbei Tang, Jim Woodcock 0001	Towards Mobile Processes in Unifying Theories.	SEFM	2004	DBLP DOI BibTeX RDF
13	Pengfei Wu, Xiuping Wu, Gabriel A. Wainer	Applying Cell-DEVS in 3D Free-Form Shape Modeling.	ACRI	2004	DBLP DOI BibTeX RDF
13	Dong Lu, Peter A. Dinda	GridG: generating realistic computational grids.	SIGMETRICS Perform. Evaluation Rev.	2003	DBLP DOI BibTeX RDF
13	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	A Refinement Strategy for Circus.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Concurrency, CSP, Z, Program development
13	Lilia Krivodonova, Joseph E. Flaherty	Error Estimation for Discontinuous Galerkin Solutions of Two-Dimensional Hyperbolic Problems.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	error estimation, discontinuous Galerkin methods, hyperbolic systems
13	Jürgen Angele, Eddie Mönch, Henrik Oppermann, Steffen Staab, Dirk Wenke	Ontology-Based Query and Answering in Chemistry: OntoNova @ Project Halo.	ISWC	2003	DBLP DOI BibTeX RDF
13	Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Yee Wei Law	Approximating Fair Use in LicenseScript.	ICADL	2003	DBLP DOI BibTeX RDF	metadata security, copyright, Intellectual property rights, fair use, rights expression language
13	Adolfo Duran, Ana Cavalcanti 0001, Augusto Sampaio	A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.	FME	2003	DBLP DOI BibTeX RDF
13	Marc Cavazza, Simon Hartley, Jean-Luc Lugrin, Mikael Le Bras	Alternative reality: a new platform for virtual reality art.	VRST	2003	DBLP DOI BibTeX RDF	virtual reality for art and entertainment, modelling and simulation, intelligent virtual environments, qualitative physics
13	Frank M. Brown	Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations.	TABLEAUX	2003	DBLP DOI BibTeX RDF
13	Alfred Kobsa	A Component Architecture for Dynamically Managing Privacy Constraints in Personalized Web-Based Systems.	Privacy Enhancing Technologies	2003	DBLP DOI BibTeX RDF
13	Yves Caron, Harold Charpentier, Pascal Makris, Nicole Vincent	Power Law Dependencies to Detect Regions of Interest.	DGCI	2003	DBLP DOI BibTeX RDF	region detection, Segmentation, compression, coding, region of interest
13	Dong Lu, Peter A. Dinda	Synthesizing Realistic Computational Grids.	SC	2003	DBLP DOI BibTeX RDF
13	Richard Wheeldon, Steve Counsell	Power Law Distributions in Class Relationships.	SCAM	2003	DBLP DOI BibTeX RDF
13	Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam	Testing Safety Critical Ada Code Using Non Real Time Testing.	Ada-Europe	2003	DBLP DOI BibTeX RDF
13	Marc Davis	From Pirates to Patriots: Fair Use for Digital Media.	IEEE Multim.	2002	DBLP DOI BibTeX RDF
13	Shengchao Qin, Jifeng He 0001, Zongyan Qiu, Naixiao Zhang	Hardware/Software Partitioning in Verilog.	ICFEM	2002	DBLP DOI BibTeX RDF
13	Marcus Fontoura, Mihail F. Ionescu, Naftaly H. Minsky	Law-governed peer-to-peer auctions.	WWW	2002	DBLP DOI BibTeX RDF	distributed enforcement, distributed systems, online auctions, law governed interaction
13	Augusto Sampaio, Jim Woodcock 0001, Ana Cavalcanti 0001	Refinement in Circus.	FME	2002	DBLP DOI BibTeX RDF	unifying theories of programming, distribution, CSP, Z
13	E. S. Siougle, Vasilios Zorkadis	A Model Enabling Law Compliant Privacy Protection through the Selection and Evaluation of Appropriate Security Controls.	InfraSec	2002	DBLP DOI BibTeX RDF
13	P. P. Mohanlal, M. R. Kaimal, S. Dasgupta	Exact Fuzzy Modeling and Optimal control of a Launch Vehicle in the atmospheric phase.	ICARCV	2002	DBLP DOI BibTeX RDF
13	John R. Rose, William H. Turkett Jr., Michael N. Huhns, Soumik Sinha Roy	An Evaluation of Philosophical Agent Architectures for Mission Robustness.	WRAC	2002	DBLP DOI BibTeX RDF
13	Damien Magoni, Jean-Jacques Pansiot	Internet topology modeler based on map sampling.	ISCC	2002	DBLP DOI BibTeX RDF
13	Christoph M. Kirsch	Principles of Real-Time Programming.	EMSOFT	2002	DBLP DOI BibTeX RDF
13	Grégory Flandin, François Chaumette	Visual Data Fusion for Objects Localization by Active Vision.	ECCV (4)	2002	DBLP DOI BibTeX RDF
13	Alessandro Ricci, Andrea Omicini, Enrico Denti	Activity Theory as a Framework for MAS Coordination.	ESAW	2002	DBLP DOI BibTeX RDF