|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2072 occurrences of 1396 keywords
|
|
|
Results
Found 5656 publication records. Showing 5618 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings, pp. 1101-1110, 2008, Springer, 978-3-540-69811-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAM ![In: 2008 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2008, 21-24 September 2008, Chengdu, China, pp. 415-420, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Joseph M. Morris, Malcolm Tyrrell |
Dual unbounded nondeterminacy, recursion, and fixpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 44(5), pp. 323-344, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 23(3), pp. 519-529, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Farbod Fahimi |
Sliding-Mode Formation Control for Underactuated Surface Vessels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 23(3), pp. 617-622, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 30(2), pp. 237-273, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 1-32, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Yang Wang 0005, Alfred Kobsa |
Respecting Users' Individual Privacy Constraints in Web Personalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Modeling ![In: User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, June 25-29, 2007, Proceedings, pp. 157-166, 2007, Springer, 978-3-540-73077-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Stephen R. Lindemann, Steven M. LaValle |
Smooth Feedback for Car-Like Vehicles in Polygonal Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 3104-3109, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 2611-2616, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: Proceedings of the Third International Symposium on Information Assurance and Security, IAS 2007, August 29-31, 2007, Manchester, United Kingdom, pp. 279-284, 2007, IEEE Computer Society, 978-0-7695-2876-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Alcino Cunha, Joost Visser 0001 |
Transformation of structure-shy programs: applied to XPath queries and strategic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, pp. 11-20, 2007, ACM, 978-1-59593-620-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 8th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2007, Montreal, Quebec, Canada, September 9-14, 2007, pp. 41-50, 2007, ACM, 978-1-59593-684-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 163-177, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Bartek Klin |
Bialgebraic Operational Semantics and Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 336-345, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2007, 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings, pp. 940-949, 2007, Springer, 978-3-540-77225-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Etienne Farcot, Jean-Luc Gouzé |
Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, pp. 688-692, 2007, Springer, 978-3-540-71492-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2007, Newport Beach, California, USA, November 5-7, 2007, pp. 77-80, 2007, ACM, 978-1-59593-863-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 4031-4039, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA, pp. 131-143, 2007, IEEE Computer Society, 0-7695-2862-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Jingwei Wu, Richard C. Holt, Ahmed E. Hassan |
Empirical Evidence for SOC Dynamics in Software Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 23rd IEEE International Conference on Software Maintenance (ICSM 2007), October 2-5, 2007, Paris, France, pp. 244-254, 2007, IEEE Computer Society, 978-1-4244-1256-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Zuliani |
A Formal Derivation of Grover's Quantum Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 67-74, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 142(1), pp. 41-62, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 21(1), pp. 79-97, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 22(6), pp. 1131-1145, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Roland L. Trope, E. Michael Power |
Lessons for laptops from the 18th century. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 4(4), pp. 64-68, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Denis Verdon |
Security policies and the software developer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 4(4), pp. 42-49, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Lou De Carufel, Jules Desharnais |
Demonic Algebra with Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 120-134, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Farong Zhong, Yuxi Fu, Xiaoju Dong |
Bisimulation Congruence for Asymmetric chi ^ e -Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 6-9 July 2006, Timisoara, Romania, pp. 173-184, 2006, IEEE Computer Society, 0-7695-2638-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Danesh, Farid Sheikholeslam, Mehdi Keshmiri |
Robust Robot Controller Design Using Joint Position and Velocity Dependent Uncertainty Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 3038-3043, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Marius Kloetzer, Calin Belta |
A Framework for Automatic Deployment of Robots in 2D and 3D Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 953-958, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, 5th International Conference, EGOV 2006, Krakow, Poland, September 4-8, 2006, Proceedings, pp. 231-242, 2006, Springer, 3-540-37686-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Doug E. Shaw |
New architectures for a new biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 12th International Symposium on High-Performance Computer Architecture, HPCA-12 2006, Austin, Texas, USA, February 11-15, 2006, pp. 4, 2006, IEEE Computer Society, 0-7803-9368-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 22-24 March 2006, Bari, Italy, pp. 206-213, 2006, IEEE Computer Society, 0-7695-2536-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
metrics, empirical studies, software evolution, libre software |
13 | Francesco Bullo |
Motion Coordination for Multi-agent Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings, pp. 1, 2006, Springer, 3-540-33170-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Yifeng Chen |
Hierarchical Organisation of Predicate-Semantic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers, pp. 155-172, 2006, Springer, 3-540-34750-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2006: Robot Soccer World Cup X, pp. 35-46, 2006, Springer, 978-3-540-74023-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, pp. 28-36, 2006, Springer, 978-3-540-77504-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2006, 16th International Conference, Athens, Greece, September 10-14, 2006. Proceedings, Part I, pp. 888-897, 2006, Springer, 3-540-38625-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Lili Dong |
Adaptive Estimation and Control of a Z-axis MEMS Gyroscope with Time-varying Rotation Rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAS ![In: 2006 International Conference on Autonomic and Autonomous Systems (ICAS 2006), 16-21 July 2006, Silicon Valley, California, USA, pp. 18, 2006, IEEE Computer Society, 0-7695-2653-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen |
From Algebraic Semantics to Denotational Semantics for Verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA, pp. 139-151, 2006, IEEE Computer Society, 0-7695-2530-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Marcus Fontoura, Mihail F. Ionescu, Naftaly H. Minsky |
Decentralized Peer-to-Peer Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commer. Res. ![In: Electron. Commer. Res. 5(1), pp. 7-24, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 13(1), pp. 43-56, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 35(1), pp. 130-135, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(3), pp. 900-918, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 63(2), pp. 231-257, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Charles L. Karr, K. Nishita, Kenneth Graham |
Adaptive Aircraft Flight Control Simulation Based on an Artificial Immune System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 23(3), pp. 295-308, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
aircraft simulation, artificial immune system (AIS), adaptive control, intelligent control |
13 | Rasvan Constantinescu |
An Outsourcing Model of Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 11th IEEE International Symposium on Software Metrics (METRICS 2005), 19-22 September 2005, Como Italy, pp. 47, 2005, IEEE Computer Society, 0-7695-2371-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Francesc-Xavier Babot, Miquel Bertran, August Climent |
A Static Communication Elimination Algorithm for Distributed System Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 375-389, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Claire J. Tomlin |
Session Overview Robot Design and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISRR ![In: Robotics Research: Results of the 12th International Symposium, ISRR 2005, October 12-15, 2005, San Francisco, CA, USA, pp. 325-326, 2005, Springer, 978-3-540-48110-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Ricci, Mirko Viroli |
A timed extension of ReSpecT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 420-427, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
tuple centres, coordination models, timed systems |
13 | Michael Schumacher 0001, Sascha Ossowski |
The Governing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
E4MAS ![In: Environments for Multi-Agent Systems II, Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers, pp. 88-104, 2005, Springer, 3-540-32614-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Jianguo Zhou, Yifeng Chen |
Generating C Code from LOGS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 195-210, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Uwe Schimank |
From "Clean" Mechanisms to "Dirty" Models: Methodological Perspectives of an Up-Scaling of Actor Constellations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Socionics ![In: Socionics - Scalability of Complex Social Systems, pp. 15-35, 2005, Springer, 3-540-30707-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Louis Vercher |
Perception and Synthesis of Biologically Plausible Motion: From Human Physiology to Virtual Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gesture Workshop ![In: Gesture in Human-Computer Interaction and Simulation, 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers, pp. 1-12, 2005, Springer, 3-540-32624-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Lina Perelman, Avi Ostfeld |
Water distribution systems optimal design using cross entropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 647-648, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 13-17 March 2005, Miami, FL, USA, pp. 2625-2637, 2005, IEEE, 0-7803-8968-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Giovanni Maria Sacco |
No (e-)Democracy Without (e-)Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCGOV ![In: E-Government: Towards Electronic Democracy, International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005, Proceedings, pp. 147-156, 2005, Springer, 3-540-25016-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Patricia Gilfeather, Arthur B. Maccabe |
Modeling Protocol Offload for Message-oriented Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26 - 30, 2005, Boston, Massachusetts, USA, pp. 1-10, 2005, IEEE Computer Society, 0-7803-9485-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Sergey Khantsis, Anna Bourmistrova |
UAV Controller Design Using Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings, pp. 1025-1030, 2005, Springer, 3-540-30462-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | R. Nigam, S. Liang |
Perturbing Thermodynamically Unfeasible Metabolic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BSB ![In: Advances in Bioinformatics and Computational Biology, Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings, pp. 30-41, 2005, Springer, 3-540-28008-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 6(4), pp. 403-428, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
JEL Classification C10, C31 |
13 | Lawrence C. Paulson |
Organizing Numerical Theories Using Axiomatic Type Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 33(1), pp. 29-49, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 12(2), pp. 194-198, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Calin Belta |
On Controlling Aircraft and Underwater Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 4905-4910, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAABS ![In: Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers, pp. 131-145, 2004, Springer, 3-540-24422-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 1717-1722, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IICS ![In: Innovative Internet Community Systems, 4th InternationalWorkshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004, Revised Papers, pp. 168-177, 2004, Springer, 3-540-28880-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 12th ACM International Conference on Multimedia, New York, NY, USA, October 10-16, 2004, pp. 80-87, 2004, ACM, 1-58113-893-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UPP ![In: Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers, pp. 1-16, 2004, Springer, 3-540-27884-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Femke Reitsma, Shane Engel |
Searching for 2D Spatial Network Holes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part II, pp. 1069-1078, 2004, Springer, 3-540-22056-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (2) ![In: 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan, pp. 551-554, 2004, IEEE Computer Society, 0-7695-2051-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Alberto Pardo |
Combining Datatypes and Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures, pp. 171-209, 2004, Springer, 3-540-28540-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Xinbei Tang, Jim Woodcock 0001 |
Towards Mobile Processes in Unifying Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 44-53, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Pengfei Wu, Xiuping Wu, Gabriel A. Wainer |
Applying Cell-DEVS in 3D Free-Form Shape Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004, Proceedings, pp. 81-90, 2004, Springer, 3-540-23596-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Dong Lu, Peter A. Dinda |
GridG: generating realistic computational grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 30(4), pp. 33-40, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
A Refinement Strategy for Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(2-3), pp. 146-181, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 19(1-3), pp. 57-71, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings, pp. 913-928, 2003, Springer, 3-540-20362-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Yee Wei Law |
Approximating Fair Use in LicenseScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICADL ![In: Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access, 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003, Proceedings, pp. 432-443, 2003, Springer, 3-540-20608-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 301-320, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2003, Osaka, Japan, October 1-3, 2003, pp. 100-107, 2003, ACM, 1-58113-569-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings, pp. 237-245, 2003, Springer, 3-540-40787-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Alfred Kobsa |
A Component Architecture for Dynamically Managing Privacy Constraints in Personalized Web-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Privacy Enhancing Technologies ![In: Privacy Enhancing Technologies, Third International Workshop, PET 2003, Dresden, Germany, March 26-28, 2003, Revised Papers, pp. 177-188, 2003, Springer, 3-540-20610-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Yves Caron, Harold Charpentier, Pascal Makris, Nicole Vincent |
Power Law Dependencies to Detect Regions of Interest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings, pp. 495-503, 2003, Springer, 3-540-20499-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
region detection, Segmentation, compression, coding, region of interest |
13 | Dong Lu, Peter A. Dinda |
Synthesizing Realistic Computational Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2003 Conference on High Performance Networking and Computing, 15-21 November 2003, Phoenix, AZ, USA, CD-Rom, pp. 16, 2003, ACM, 1-58113-695-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Richard Wheeldon, Steve Counsell |
Power Law Distributions in Class Relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands, pp. 45-54, 2003, IEEE Computer Society, 0-7695-2005-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam |
Testing Safety Critical Ada Code Using Non Real Time Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 382-392, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Marc Davis |
From Pirates to Patriots: Fair Use for Digital Media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Multim. ![In: IEEE Multim. 9(4), pp. 4-7, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Shengchao Qin, Jifeng He 0001, Zongyan Qiu, Naixiao Zhang |
Hardware/Software Partitioning in Verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 168-179, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Marcus Fontoura, Mihail F. Ionescu, Naftaly H. Minsky |
Law-governed peer-to-peer auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Eleventh International World Wide Web Conference, WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA, pp. 109-116, 2002, ACM, 1-58113-449-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 451-470, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
InfraSec ![In: Infrastructure Security, International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002, Proceedings, pp. 104-114, 2002, Springer, 3-540-44309-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: Seventh International Conference on Control, Automation, Robotics and Vision, ICARCV 2002, Singapore, 2-5 December 2002, Proceedings, pp. 1275-1280, 2002, IEEE, 981-04-8364-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRAC ![In: Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised Papers, pp. 201-214, 2002, Springer, 3-540-40725-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Damien Magoni, Jean-Jacques Pansiot |
Internet topology modeler based on map sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 1-4 July 2002, Taormina, Italy, pp. 1021-1027, 2002, IEEE Computer Society, 0-7695-1671-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Christoph M. Kirsch |
Principles of Real-Time Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings, pp. 61-75, 2002, Springer, 3-540-44307-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Grégory Flandin, François Chaumette |
Visual Data Fusion for Objects Localization by Active Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (4) ![In: Computer Vision - ECCV 2002, 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part IV, pp. 312-326, 2002, Springer, 3-540-43748-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Ricci, Andrea Omicini, Enrico Denti |
Activity Theory as a Framework for MAS Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World III, Third International Workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002, Revised Papers, pp. 96-110, 2002, Springer, 3-540-14009-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 5618 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|