Hinchey, Mike.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Nature of Computation and Communication = International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers /
by:
Hinchey, Mike.; Vassev, Emil.; SpringerLink (Online service); Vinh, Phan Cong.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Nature of computation and communication = International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers /
by:
SpringerLink (Online service); Hinchey, Mike.; Vassev, Emil.; Workshop on the Preservation of Stability under Discretization ((2001 :); Vinh, Phan Cong.
(Language materials, printed)
Experience from the DARPA Urban Challenge
by:
United States.; SpringerLink (Online service); Hinchey, Mike.; Rouff, Christopher.
(Language materials, printed)
Applications of Networks, Sensors and Autonomous Systems Analytics = Proceedings of ICANSAA 2020 /
by:
SpringerLink (Online service); Hinchey, Mike.; Sen, Sabyasachi.; Biswas, Papun.; Mandal, Jyotsna Kumar.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
Holcombe, Mike.; Workshop on the Preservation of Stability under Discretization ((2001 :); Eleftherakis, George.; SpringerLink (Online service); Hinchey, Mike.
(Language materials, printed)
The combined power of research, education, and dissemination = essays dedicated to Tiziana Margaria on the occasion of her 60th birthday /
by:
Steffen, Bernhard.; Hinchey, Mike.; SpringerLink (Online service); Margaria-Steffen, Tiziana, (1964-)
(Language materials, printed)
Conquering complexity
by:
Hinchey, Mike.; Coyle, Lorcan.; SpringerLink (Online service)
(Language materials, printed)
Biologically-Inspired Collaborative Computing = IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy /
by:
SpringerLink (Online service); Hinchey, Mike.
(Language materials, printed)
Subjects
Formal methods (Computer science)
United States.
Image Processing and Computer Vision.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Signal processing.
Theory of Computation.
Control.
Telecommunication.
Electronic Devices.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Mobile robots.
Automotive Engineering.
Artificial Intelligence.
Computational complexity.
Signal, Speech and Image Processing .
Engineering.
Computers.
Computing Methodologies.
Software engineering
Computer Science, general.
Programming Languages, Compilers, Interpreters.
Database Management.
Computer architecture.
Software Engineering.
Pattern recognition.
Formal Languages and Automata Theory.
Robotics and Automation.
Communications Engineering, Networks.
Margaria-Steffen, Tiziana,
Computer Science.
Computer communication systems.
Computer vision
Solid state physics.
Motor vehicles
Automobile driving
Database management.
Computer science.
Optical data processing.
Intelligent control systems.
Computational Biology/Bioinformatics.
Pattern Recognition.
Computation by Abstract Devices.