Abstraction, reformulation, and approximation : [electronic resources] 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings /

Abstraction, reformulation, and approximation : [electronic resources] 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings /

41

Bibliographic Details
Main Authors:	SARA 2007 (2007 : Whistler, B.C.), Miguel, Ian, Ruml, Wheeler, SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin ; New York : Springer, c200
Subjects:	Computer science Artificial intelligence
Online Access:	http://dx.doi.org/10.1007/978-3-540-73580-9

Similar Items

Computing and Combinatorics [electronic resource] : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007: Proceedings /
by: COCOON 2007 (2007 : Banff, Alta.), et al.
Published: (2007)

Combinatorial Pattern Matching [electronic resource] : 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007: Proceedings /
by: Symposium on Combinatorial Pattern Matching (18th : 2007: London, Ont.), et al.
Published: (2007)

Parallel and Distributed Processing and Applications [electronic resource] : 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings /
by: ISPA 2007 (2007 : Niagara Falls, Ont.), et al.
Published: (2007)

Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007: Proceedings /
by: CBSE 2007 (2007 : Medford, Mass.), et al.
Published: (2007)

Unconventional Computation [electronic resource] : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007: Proceedings /
by: UC 2007 (2007 : Kingston, Ont.), et al.
Published: (2007)

Online Communities and Social Computing [electronic resource] : Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: OCSC 2007 (2007 : Beijing, China), et al.
Published: (2007)

Rough Sets and Knowledge Technology [electronic resource] : Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007: Proceedings /
by: RSKT 2007 (2007 : Toronto, Ont.), et al.
Published: (2007)

Multimedia content analysis and mining [electronic resources]: international workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007 : proceedings/
by: MCAM 2007 (2007 : Weihai, China), et al.
Published: (2007)

Ergonomics and Health Aspects of Work with Computers [electronic resource] : International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: EHAWC 2007 (2007 : Beijing, China), et al.
Published: (2007)

Distributed Computing [electronic resource]: 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007: Proceedings/
by: DISC 2007 (2007 : Limassol, Cyprus), et al.
Published: (2007)

ECOOP 2007 -- Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007: Proceedings /
by: ECOOP 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Programming languages and systems [electronic resource]: 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings/
by: APLAS 2007 (2007 : Singapore), et al.
Published: (2007)

Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007: Proceedings /
by: ATC 2007 (2007 : Hong Kong, China), et al.
Published: (2007)

Advanced parallel processing technologies [electronic resources]: 7th international symposium, APPT 2007, Guangzhou, China, November 22-23, 2007 : proceedings/
by: APPT 2007 (2007 : Guangzhou, China), et al.
Published: (2007)

Stochastic Algorithms: Foundations and Applications [electronic resource] : 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007: Proceedings /
by: SAGA 2007 (2007 : Zurich, Switzerland), et al.
Published: (2007)

Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007: Proceedings /
by: MLDM 2007 (2007 : Leipzig, Germany), et al.
Published: (2007)

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings /
by: Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria), et al.
Published: (2007)

Bioinformatics Research and Applications [electronic resource] : Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007: Proceedings /
by: ISBRA 2007 (2007 : Atlanta, Ga.), et al.
Published: (2007)

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing [electronic resource] : 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007: Proceedings /
by: RSFDGrC 2007 (2007 : Toronto, Ont.), et al.
Published: (2007)

Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007: Proceedings /
by: PROFES 2007 (2007 : Riga, Latvia), et al.
Published: (2007)

Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007: Proceedings /
by: AB 2007 (2007 : Castle of Hagenberg, Austria), et al.
Published: (2007)

Web Engineering [electronic resource] : 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings /
by: ICWE 2007 (2007 : Como, Italy), et al.
Published: (2007)

Algorithms - ESA 2007 [electronic resources]: 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007: Proceedings/
by: ESA 2007 (2007 : Elat, Israel), et al.
Published: (2007)

Advances in rule interchange and applications [electronic resources]: international symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007 : proceedings/
by: RuleML 2007 (2007 : Orlando, Fla.), et al.
Published: (2007)

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings /
by: DIMVA 2007 (2007 : Lucerne, Switzerland), et al.
Published: (2007)

Stabilization, safety, and security of distributed systems [electronic resource]: 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings/
by: SSS 2007 (2007 : Paris, France), et al.
Published: (2007)

String Processing and Information Retrieval [electronic resource]: 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings/
by: SPIRE 2007 (2007 : Santiago, Chile), et al.
Published: (2007)

Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
by: FroCoS 2007 (2007 : Liverpool, England), et al.
Published: (2007)

Symposium on geometry processing 2007 : fifth Eurographics symposium on geometry processing, Barcelona, Spain, July 04-06, 2007 /
by: Eurographics Symposium on Geometry Processing (5th : 2007 : Barcelona, Spain), et al.
Published: (2007)

Information security and privacy [electronic resource]: 12th Australasian conference, ACISP 2007, Townsville, Australia, July 2-4, 2007 : proceedings/
by: ACISP 2007 (2007 : Townsville, Qld.), et al.
Published: (2007)

Implementation and application of automata [electronic resource]: 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers/
by: CIAA 2007 (2007 : Prague, Czech Republic), et al.
Published: (2007)

Frontiers of High Performance Computing and Networking ISPA 2007 Workshops [electronic resource] : ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 : proceedings /
by: ISPA 2007 (2007 : Niagara Falls, Ont.), et al.
Published: (2007)

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings /
by: TABLEAUX 2007 (2007 : Aix en Provence, France), et al.
Published: (2007)

Advances in spatial and temporal databases : 10th international symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007 : proceedings /
by: SSTD 2007 (2007 : Boston, Mass.), et al.
Published: (2007)

Dependable Computing [electronic resource]: Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007: Proceedings/
by: LADC 2007 (2007 : Morelia, Michoacan de Ocampo, Mexico), et al.
Published: (2007)

Managing Traffic Performance in Converged Networks [electronic resource] : 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007: Proceedings /
by: CAiSE 2007 (2007 : Trondheim, Norway), et al.
Published: (2007)

HCI and usability for medicine and health care [electronic resource] : third symposium of the workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November 22, 2007 : proceedings/
by: USAB 2007 (2007 : Graz, Austria), et al.
Published: (2007)

User Modeling 2007 [electronic resource] : 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007: Proceedings /
by: International Conference on User Modeling (11th : 2007 : Corfu, Greece), et al.
Published: (2007)

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007: Proceedings /
by: SAMOS 2007 (2007 : Samos, Greece), et al.
Published: (2007)

Dependable and Adaptable Networks and Services [electronic resource] : 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007: Proceedings /
by: EUNICE 2007 (2007 : Enschede, Netherlands), et al.
Published: (2007)