|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 482 occurrences of 387 keywords
|
|
|
Results
Found 1642 publication records. Showing 1642 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
87 | Emil Vassev, Mike Hinchey, Joey Paquet |
Towards an ASSL specification model for NASA swarm-based exploration missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1652-1657, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
swarm missions, autonomic computing, formal specification language |
69 | Christopher W. Johnson 0001 |
The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 9-25, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
60 | Debora Donato, Francesco Bonchi, Tom Chi, Yoëlle S. Maarek |
Do you want to take notes?: identifying research missions in Yahoo! search pad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 321-330, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
persistent search, task-oriented search, query logs, sessions |
60 | Maria Andersson |
Classification of Aerial Missions Using Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings, pp. 125-136, 2003, Springer, 3-540-40494-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey |
Formal Approaches to Intelligent Swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 3-4 December 2003, Greenbelt, Maryland, USA, pp. 51, 2003, IEEE Computer Society, 0-7695-2064-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
51 | Alessandro Donati |
Space missions & sensor networking: challenging scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD Workshop on Knowledge Discovery from Sensor Data ![In: Proceedings of the Third International Workshop on Knowledge Discovery from Sensor Data, Paris, France, June 28, 2009, pp. 10, 2009, ACM, 978-1-60558-668-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Roy Sterritt |
Challenges of Developing New Classes of NASA Self-Managing Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS (2) ![In: 11th International Conference on Parallel and Distributed Systems, ICPADS 2005, Fuduoka, Japan, July 20-22, 2005, pp. 463-467, 2005, IEEE Computer Society, 0-7695-2281-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Edward W. Tunstel |
Space and Exploration Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automation ![In: Springer Handbook of Automation, pp. 1241-1252, 2009, Springer, 978-3-540-78830-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
46 | Michael G. Hinchey, James L. Rash, Christopher A. Rouff |
Some Verification Issues at NASA Goddard Space Flight Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 403-412, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Debra Schreckenghost, Carroll Thronesbery, R. Peter Bonasso, David Kortenkamp, Cheryl Martin 0001 |
Intelligent Control of Life Support for Space Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 17(5), pp. 24-31, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
space missions, lunar rover, Johnson Space Center, life support, human-centered computing, NASA |
42 | John Kemp, Elena I. Gaura, James Brusey, C. Douglas Thake |
Using Body Sensor Networks for Increased Safety in Bomb Disposal Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUTC ![In: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), 11-13 June 2008, Taichung, Taiwan, pp. 81-89, 2008, IEEE Computer Society, 978-0-7695-3158-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bomb disposal suits, thermal comfort models, body sensor networks |
42 | Amotz Bar-Noy, Theodore Brown, Matthew P. Johnson 0001, Thomas La Porta, Ou Liu, Hosam Rowaihy |
Assigning Sensors to Missions with Demands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOSENSORS ![In: Algorithmic Aspects of Wireless Sensor Networks, Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers, pp. 114-125, 2007, Springer, 978-3-540-77870-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Ling Chen 0001, Steve Benford |
Your way your missions: from location-based to route-based pervasive gaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2007, Salzburg, Austria, June 13-15, 2007, pp. 232-233, 2007, ACM, 978-1-59593-640-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
route, pervasive computing, games, location |
42 | Michael G. Hinchey, Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, Mingrui Qi |
Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), May 21-23, 2007, Niagara Falls, Canada, pp. 250-257, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Roy Sterritt, Michael G. Hinchey |
Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA, pp. 506-511, 2005, IEEE Computer Society, 0-7695-2308-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Self-Destruction, Pulse Monitoring, Autonomic Computing, Autonomic Agents, Exploration, Self-Protection, Apoptosis |
42 | Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt |
Autonomicity of NASA Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAC ![In: Second International Conference on Autonomic Computing (ICAC 2005), 13-16 June 2005, Seattle, WA, USA, pp. 387-388, 2005, IEEE Computer Society, 0-7695-2276-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Savio N. Chau |
Experience of Using COTS Components for Deep Space Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 116, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Jacob Savir |
On testing safety-sensitive digital systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 478-483, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
aerospace testing, safety systems, safety-sensitive digital systems, off-line test, flight critical missions, digital airborne system, repair capabilities, diagnosis capabilities, mission reliability, reliability, fault diagnosis, redundancy, digital systems, online test |
37 | John Johansen, Uday S. Karmarkar, Dhananjay Nanda, Abraham Seidmann |
Business experience with computer integrated manufacturing. A survey of current strategy and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 970-979, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
current strategy, current practice, business experience, US manufacturing firms, adoption policy, manufacturing process characteristics, CIM development process, CIM architecture, plant-wide integration, competitive missions, information technologies, value, strategic planning, computer integrated manufacturing, computer integrated manufacturing, benefits, temporal pattern, commerce |
37 | Gianluca Antonelli, Filippo Arrichiello, Stefano Chiaverini |
Stability analysis for the Null-Space-based Behavioral control for multi-robot systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 2463-2468, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Sharanya Eswaran, Archan Misra, Thomas La Porta |
Utility-Based Adaptation in Mission-Oriented Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECON ![In: Proceedings of the Fifth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2008, June 16-20, 2008, Crowne Plaza, San Francisco International Airport, California, USA, pp. 278-286, 2008, IEEE, 978-1-4244-1777-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | William C. Stratton, Deane E. Sibol, Mikael Lindvall, Patricia Costa |
The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion. ![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. 187-193, 2007, IEEE Computer Society, 0-7695-2862-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Tian He 0001, Sudha Krishnamurthy, Liqian Luo, Ting Yan, Lin Gu 0001, Radu Stoleru, Gang Zhou, Qing Cao, Pascal Vicaire, John A. Stankovic, Tarek F. Abdelzaher, Jonathan Hui, Bruce H. Krogh |
VigilNet: An integrated sensor network system for energy-efficient surveillance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 2(1), pp. 1-38, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Sensor networks, wireless, tracking, energy conservation |
37 | Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash |
Verification of Emergent Behaviors in Swarm-based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic, pp. 443-448, 2004, IEEE Computer Society, 0-7695-2125-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Scott J. Harmon, Edwin Rodríguez, Christopher Zhong, William H. Hsu |
A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (2) ![In: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II, pp. 706-707, 2004, Springer, 3-540-22343-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Austin Tate, Jeffrey M. Bradshaw, Michal Pechoucek |
Guest Editors' Introduction: Knowledge Systems for Coalition Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 17(3), pp. 14-16, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Susan E. Torney |
Operations Assistants for Johnson Space Center's Mission Control Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAABS ![In: Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers, pp. 337-338, 2000, Springer, 3-540-42716-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Keith W. Sevcik, Paul Y. Oh |
Testing Unmanned Aerial Vehicle Missions in a Scaled Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 54(1-3), pp. 297-305, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unmanned aerial vehicles, Verification and validation, Testing and evaluation |
32 | Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee |
Progressive autonomy: a method for gradually introducing autonomy into space missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 1(2), pp. 89-99, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski |
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 253-264, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Swarm Technology, Verification, Formal Methods |
32 | Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt |
Towards Autonomic Management of NASA Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS (2) ![In: 11th International Conference on Parallel and Distributed Systems, ICPADS 2005, Fuduoka, Japan, July 20-22, 2005, pp. 473-477, 2005, IEEE Computer Society, 0-7695-2281-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Tarun Kanti Podder, Mark Sibenac, James G. Bellingham |
AUV Docking System for Sustainable Science Missions. ![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. 4478-4484, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Michael R. Lowry |
Software Construction and Analysis Tools for Future Space Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 1-19, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Philippe Lambert |
Contribution à l'autonomie des robots : vers des missions à garantie de performance incluant l'incertitude de localisation en environnement intérieur connu. (contribution to the autonomy of robots : towards missions with performance guarantee including localization in known indoor environment). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
28 | Ema Falomir Bagdassarian |
Calcul dynamique de chemin par des drones autonomes en essaim compact dans le cadre de missions en environnements complexes. (Dynamic calculation of paths by autonomous drones forming a compact swarm, for missions in complex environments). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
28 | Sara Zermani |
Implémentation sur SoC des réseaux Bayésiens pour l'état de santé et la décision dans le cadre de missions de véhicules autonomes. (SoC implementation of Bayesian networks for health management and decision making for autonomous vehicles missions). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
27 | Louis Kelly, Sandra Johnson |
Providing support to the expanding university. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 34th Annual ACM SIGUCCS Conference on User Services 2006, Edmonton, Alberta, Canada, November 5-8, 2006, pp. 167-172, 2006, ACM, 1-59593-438-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
faculty training, missions, planning, support, digital divide, goals |
27 | Maarten Sierhuis, William J. Clancey |
Modeling and Simulating Work Practice: A Method for Work Systems Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 17(5), pp. 32-41, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiagent language, mission operation design, space missions, simulation, modeling, human-centered computing, work practice, human-centered systems |
27 | Lei Zhang 0064, Susanna Spinsante, Chaojing Tang, Ennio Gambi |
Application and performance analysis of various AEAD techniques for space telecommand authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(1), pp. 308-319, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Bradley J. Wall, Bruce A. Conway |
Genetic algorithms applied to the solution of hybrid optimal control problems in astrodynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 44(4), pp. 493-508, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hybrid optimal control, Spacecraft trajectory optimization, Global trajectory optimization competition (GTOC), Bilevel programming problem (BLPP), Genetic algorithm |
27 | Matthew P. Johnson 0001, Hosam Rowaihy, Diego Pizzocaro, Amotz Bar-Noy, Stuart W. Chalmers, Thomas La Porta, Alun D. Preece |
Frugal Sensor Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCOSS ![In: Distributed Computing in Sensor Systems, 4th IEEE International Conference, DCOSS 2008, Santorini Island, Greece, June 11-14, 2008, Proceedings, pp. 219-236, 2008, Springer, 978-3-540-69169-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Robin R. Murphy, Kevin S. Pratt, Jennifer L. Burke |
Crew roles and operational protocols for rotary-wing micro-uavs in close urban environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 3rd ACM/IEEE international conference on Human robot interaction, HRI 2008, Amsterdam, The Netherlands, March 12-15, 2008, pp. 73-80, 2008, ACM, 978-1-60558-017-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
robot, human-robot interaction, unmanned aerial vehicle |
27 | Andres S. Orrego, Gregory E. Mundy |
SRAE: An Integrated Framework for Aiding in the Verification and Validation of Legacy Artifacts in NASA Flight Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 413-422, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Terry Huntsberger, Abhijit Sengupta |
Game theory basis for control of long-lived lunar/planetary surface robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 20(2), pp. 85-95, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
All terrain mobility, Game theory, Mobile robots, Robot control, Reconfigurable robots |
27 | Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash |
Experiences applying formal approaches in the development of swarm-based space exploration systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(6), pp. 587-603, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, Validation, Swarm |
27 | Stephen B. Stancliff, John M. Dolan, Ashitey Trebi-Ollennu |
Mission Reliability Estimation for Multirobot Team Design. ![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. 2206-2211, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash |
Verifying Large Numbers of Cooperating Adaptive Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS (1) ![In: 11th International Conference on Parallel and Distributed Systems, ICPADS 2005, Fuduoka, Japan, July 20-22, 2005, pp. 391-397, 2005, IEEE Computer Society, 0-7695-2281-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
spacecraft, Verification, formal methods, autonomy, swarms, emergent behavior |
27 | Bradley J. Clement, Steve R. Schaffer |
Distributed network scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1283-1284, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
rover, scheduling, network, space, mars |
27 | Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey |
Verification of NASA Emergent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 14-16 April 2004, Florence, Italy, pp. 231-238, 2004, IEEE Computer Society, 0-7695-2109-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash |
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. ![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. 24-33, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Brian Wilcox |
Robotic vehicles for planetary exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 2(2), pp. 181-193, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
terrain sensing, Mobile robots, path planning, terrain modeling |
27 | M. J. Iacoponi |
The Advanced Architecture On-board Processor signal processing testbed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 2(2), pp. 89-101, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
27 | B. A. Batchelder |
ADAM (Attrition Damage Assessment Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(2), pp. 114, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
weapons effectiveness, programming, Monte Carlo method, computer simulation, computer application |
23 | Lena Geiger, Michael Popp, Berthold Färber, Jordi Artigas, Philipp Kremer |
Is a telepresence-system an effective alternative to manned missions? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 5th ACM/IEEE International Conference on Human Robot Interaction, HRI 2010, Osaka, Japan, March 2-5, 2010, pp. 145-146, 2010, ACM, 978-1-4244-4893-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
on-orbit servicing, simulated extra-vehicular activity, telepresence, completion time |
23 | Ilya Ioslovich, Michael Borshchevsky, Per Olof Gutman |
Long time missions and the fuel-optimal attitude maneuvering in a swinging mode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 120(1), pp. 49-66, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 93C10, 49L20, 49N20 |
23 | Marco Chacin, Andres E. Mora Vargas, Kazuya Yoshida |
Motion control of multi-limbed robots for asteroid exploration missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 3037-3042, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Tjerk de Greef, Augustinus H. J. Oomes, Mark A. Neerincx |
Distilling Support Opportunities to Improve Urban Search and Rescue Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. Interacting in Various Application Domains, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV, pp. 703-712, 2009, Springer, 978-3-642-02582-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
situated cognitive engineering, work domain analysis, user-centered design, urban search and rescue |
23 | Emil Vassev, Mike Hinchey |
An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASO ![In: Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008, 20-24 October 2008, Venice, Italy, pp. 473-474, 2008, IEEE Computer Society, 978-0-7695-3404-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ketut Sulistyawati, Yoon Ping Chui, Yeow Min Tham, Yeow Koon Wee |
Evaluation of Process Tracing Technique to Assess Pilot Situation Awareness in Air Combat Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (13) ![In: Engineering Psychology and Cognitive Ergonomics, 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 824-833, 2007, Springer, 978-3-540-73330-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
air combat, process tracing, method, situation awareness, aviation |
23 | Grant R. Cates, William M. Cirillo, Chel Stromgren |
Low earth orbit rendezvous strategy for lunar missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1248-1252, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Daniel L. Dvorak, Gregory Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Brian Giovannoni, Mark B. Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz |
Project Golden Gate: Towards Real-Time Java in Space Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria, pp. 15-22, 2004, IEEE Computer Society, 0-7695-2124-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Sinisa Todorovic, Michael C. Nechyba |
Intelligent Missions for MAVs: Visual Contexts for Control, Tracking and Recognition. ![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. 1640-1645, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Subhashini Ganapathy, Raymond R. Hill |
Agent models II: dynamic path-planning for search and destroy missions - the Bay of Biscay scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 999-1003, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Adriano Mancini, Andrea Cesetti, A. Iualè, Emanuele Frontoni, Primo Zingaretti, Sauro Longhi |
A Framework for Simulation and Testing of UAVs in Cooperative Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 54(1-3), pp. 307-329, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cooperative scenarios, Simulation, UAVs |
18 | Timothy H. Chung, Moshe Kress, Johannes O. Royset |
Probabilistic search optimization and mission assignment for heterogeneous autonomous agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 939-945, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Ketut Sulistyawati, Yoon Ping Chui |
Confidence Bias in Situation Awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (17) ![In: Engineering Psychology and Cognitive Ergonomics, 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 317-325, 2009, Springer, 978-3-642-02727-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
confidence bias, meta-cognition, situation awareness |
18 | Hayato Mano, Katsunori Miyazawa, Ranajit Chatterjee, Fumitoshi Matsuno |
Autonomous generation of behavioral trace maps using rescue robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 2809-2814, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Hans C. Woithe, Ulrich Kremer |
A programming architecture for smart autonomous underwater vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 4433-4438, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Björn Osterloh, Harald Michalik, Björn Fiethe |
SoCWire: A Robust and Fault Tolerant Network-on-Chip Approach for a Dynamic Reconfigurable System-on-Chip in FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS ![In: Architecture of Computing Systems - ARCS 2009, 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings, pp. 50-59, 2009, Springer, 978-3-642-00453-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SoCWire, dynamic reconfigurable system, Sytem-on-Chip, Network-on-Chip, SRAM-based FPGA, VMC |
18 | Michel Charpentier, Radim Bartos, Swapnil Bhatia |
When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOWMOM ![In: 10th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WOWMOM 2009, Kos Island, Greece, 15-19 June, 2009, pp. 1-6, 2009, IEEE Computer Society, 978-1-4244-4439-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Mark S. Young, Neville A. Stanton, Guy H. Walker, Daniel P. Jenkins, Wes Smart |
Where do we go from here? An assessment of navigation performance using a compass versus a GPS unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 10(3), pp. 231-236, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Navigation performance, Map, GPS, Wayfinding, Compass |
18 | L. Stutters, Honghai Liu 0001, C. Tiltman, David J. Brown 0002 |
Navigation Technologies for Autonomous Underwater Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 38(4), pp. 581-589, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Richard J. Rikoski, Daniel C. Brown |
Holographic navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 73-80, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Mircea Badescu, Sergiu Stroescu, Stewart Sherrit, Jack B. Aldrich, Xiaoqi Bao, Yoseph Bar-Cohen, Zensheu Chang, Wilson Hernandez, Alaa Ibrahim |
Rotary hammer ultrasonic/sonic drill system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 602-607, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Gabriele Ferri 0002, Michael V. Jakuba, Dana R. Yoerger |
A novel method for hydrothermal vents prospecting using an autonomous underwater robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 1055-1060, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Larry H. Matthies, Andres Huertas, Yang Cheng, Andrew E. Johnson 0002 |
Stereo vision and shadow analysis for landing hazard detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 2735-2742, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Reuben Wright, Manuel Sánchez-Gestido, Asunción Gómez-Pérez, María S. Pérez-Hernández, Rafael González-Cabero, Óscar Corcho |
A Semantic Data Grid for Satellite Mission Quality Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 818-832, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Marco Lucente, Emiliano Re, Tommaso Rossi, Antonio Iera, Antonella Molinaro, Salvatore Pulitanò |
WAVE A2: WAVESat and LEO Mission Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 1898-1904, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Mahendiran Prathaban, Joséphine Kohlenberg |
Buffer Management Policy for Mars Intelligent Proximity Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 309-314, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Intelligent Proximity Network, Bundle Protocol, Performance, Buffer Management |
18 | Dionysia A. Alexandropoulou, Vasilis A. Angelis, Maria Mavri |
A Critical Review of the Impact of Knowledge Management on Higher Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (2) ![In: The Open Knowlege Society. A Computer Science and Information Systems Manifesto, First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings, pp. 416-421, 2008, Springer, 978-3-540-87782-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Nikhil Padhye |
Interplanetary trajectory optimization with swing-bys using evolutionary multi-objective optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, Companion Material, pp. 1835-1838, 2008, ACM, 978-1-60558-131-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
optimization |
18 | Alexander I. Fedoseyev, Marek Turowski, Ashok Raman, Qinghui Shao, Alexander A. Balandin |
Multiscale Models of Quantum Dot Based Nanomaterials and Nanodevices for Solar Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II, pp. 242-250, 2008, Springer, 978-3-540-69386-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nanostructured solar cell, nanostructures, drift-diffusion, intermediate band solar cells, computer-aided design, multiscale, quantum dot, photovoltaic, hydrodynamics |
18 | P. B. Sujit, Arpita Sinha, Debasish Ghose |
Team, Game, and Negotiation based Intelligent Autonomous UAV Task Allocation for Wide Area Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovations in Intelligent Machines (1) ![In: Innovations in Intelligent Machines - 1, pp. 39-75, 2007, Springer, 978-3-540-72695-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Hiroshi Kawano |
Method for Designating the Wind Condition in MDP-based Motion Planning of Under-actuated Blimp type UAV. ![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. 1049-1055, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Alfredo Martins, José Miguel Almeida, Hugo Ferreira 0002, Hugo Silva 0003, Nuno Dias, André Dias, Carlos Almeida 0001, Eduardo P. da Silva |
Autonomous Surface Vehicle Docking Manoeuvre with Visual Information. ![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. 4994-4999, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Patrick Ulam, Yoichiro Endo, Alan R. Wagner, Ronald C. Arkin |
Integrated Mission Specification and Task Allocation for Robot Teams - Design and Implementation. ![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. 4428-4435, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Kurt Rohloff, Richard E. Schantz, Yarom Gabay |
High-level dynamic resource management for distributed, real-time embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 749-756, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Kevin Nickels |
HIPS-assisted target handoff between camera pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 2242-2247, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Sangsoo Kim, Jiyong Park, Heeseo Chae, Hoh Peter In |
Situation-Aware Based Self-adaptive Architecture for Mission Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 464-475, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Real-Time Distributed Simulation, Self-Adaptation, Situation-Awareness, Mission Critical System, HLA/RTI |
18 | Ville Mattila |
Flight time allocation for a fleet of aircraft through reinforcement learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 2373, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Reid L. Kress, Jack Dixon, Thomas M. Insalaco, Richard Rinehart |
A supply chain paradigm to model business pprocesses at the Y-12 National Security Complex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 1977-1985, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Alexander Höhfeld |
A Ubiquitous M-Learning Framework for Network Centric Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: Fifth Annual IEEE International Conference on Pervasive Computing and Communications - Workshops (PerCom Workshops 2007), 19-23 March 2007, White Plains, New York, USA, pp. 171-176, 2007, IEEE Computer Society, 978-0-7695-2788-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Jeff Houser, Lei Zong |
The ARL Multi-Modal Sensor: A research tool for target signature collection, algorithm validation, and emplacement studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 18-23 June 2007, Minneapolis, Minnesota, USA, 2007, IEEE Computer Society, 1-4244-1179-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Vir V. Phoha, Shashi Phoha |
Situation-Aware Software Engineering for Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMSWARE ![In: Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), January 7-12, 2007, Bangalore, India, 2007, IEEE, 1-4244-0614-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Michael G. Hinchey |
Michael G. Hinchey: Biological Inspiration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASO ![In: Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007, Boston, MA, USA, July 9-11, 2007, 2007, IEEE Computer Society, 0-7695-2906-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Juan López, Pablo Royo, Enric Pastor, Cristina Barrado, Eduard Santamaria |
A middleware architecture for unmanned aircraft avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware (Demos and Posters) ![In: Middleware 2007, ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Demos and Posters Proceedings, pp. 24, 2007, ACM, 978-1-59593-935-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
service-based, middleware, implementation, embedded, UAV, publish-subscribe, avionics |
18 | Uwe Brinkschulte, Alexander von Renteln, Mathias Pacher |
A Scheduling Strategy for a Real-Time Dependable Organic Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation, 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings, pp. 339-348, 2006, Springer, 3-540-36410-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
organic real-time scheduling, OSA+ middleware, Self-organization, self-healing |
18 | Bin Liang 0001, Cheng Li 0015, Lijun Xue, Wenyi Qiang |
A Chinese Small Intelligent Space Robotic System for On-Orbit Servicing. ![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. 4602-4607, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Ou Ma, George Yang |
Validation of A Satellite Docking Simulator using the SOSS Experimental Testbed. ![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. 4115-4120, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Florent Teichteil-Königsbuch, Patrick Fabiani |
Autonomous Search and Rescue Rotorcraft Mission Stochastic Planning with Generic DBNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP AI ![In: Artificial Intelligence in Theory and Practice, IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile, pp. 483-492, 2006, Springer, 0-387-34654-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1642 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|