Search results for "grand challenge"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Chengjun Liu	Capitalize on Dimensionality Increasing Techniques for Improving Face Recognition Grand Challenge Performance.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	Dimensionality increasing techniques, Face Recognition Grand Challenge (FRGC), fractional power polynomial models, Gabor image representation, Kernel Fisher Analysis (KFA) method, face recognition
3	Guna Seetharaman, Arun Lakhotia, Erik Philip Blasch	Unmanned Vehicles Come of Age: The DARPA Grand Challenge.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Autonomous vehicles, Unmanned vehicles, DARPA Grand Challenge
3	Gregory Piatetsky-Shapiro, Robert Grossman, Chabane Djeraba, Ronen Feldman, Lise Getoor, Mohammed Javeed Zaki	Is there a grand challenge or X-prize for data mining?	KDD	2006	DBLP DOI BibTeX RDF	X-prize, data mining, text mining, bioinformatics, web mining, image mining, grand challenge, link mining, video mining, multimedia mining
2	P. Jonathon Phillips, Patrick J. Flynn, J. Ross Beveridge, W. Todd Scruggs, Alice J. O'Toole, David S. Bolme, Kevin W. Bowyer, Bruce A. Draper, Geof H. Givens, Yui Man Lui, Hassan Sahibzada, Joseph A. Scallan, Samuel Weimer	Overview of the Multiple Biometrics Grand Challenge.	ICB	2009	DBLP DOI BibTeX RDF
2	Dong Yi, ShengCai Liao, Zhen Lei, Jitao Sang, Stan Z. Li	Partial Face Matching between Near Infrared and Visual Images in MBGC Portal Challenge.	ICB	2009	DBLP DOI BibTeX RDF	Multiple biometric grand challenge (MBGC), MBGC portal challenge, video based face recognition, heterogeneous face biometrics, near infrared (NIR)
2	Leo Freitas, Jim Woodcock, Andrew Butterfield	POSIX and the Verification Grand Challenge: A Roadmap.	ICECCS	2008	DBLP DOI BibTeX RDF
2	Richard Banach	Model Based Refinement and the Tools of Tomorrow.	ABZ	2008	DBLP DOI BibTeX RDF	Configurable Proof Obligations, Verification Grand Challenge, Refinement, Tools, Model Based Development
2	Leo Freitas, Jim Woodcock	Mechanising Mondex with Z/Eves.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
2	Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob	The certification of the Mondex electronic purse to ITSEC Level E6.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
2	Carl D. Crane III	The 2005 DARPA Grand Challenge.	CIRA	2007	DBLP DOI BibTeX RDF
2	Chengjun Liu	The Bayes Decision Rule Induced Similarity Measures.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Face Recognition Grand Challenge (FRGC), PRM Whitened Cosine (PWC) similarity measure, whitened cosine similarity measure, Within-Class Whitened Cosine (WWC) similarity measure
2	Leo Freitas, Jim Woodcock	Proving Theorems About JML Classes.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository
2	Jian Yang, Chengjun Liu	Horizontal and Vertical 2DPCA Based Discriminant Analysis for Face Verification Using the FRGC Version 2 Database.	ICB	2007	DBLP DOI BibTeX RDF	Biometric Experimentation Environment (BEE), Face Recognition Grand Challenge (FRGC), Fisher Linear Discriminant Analysis (FLD or LDA), feature extraction, Principal Component Analysis (PCA), biometrics, color space, face verification
2	Rajeev Joshi, Gerard J. Holzmann	A mini challenge: build a verifiable filesystem.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Verification grand challenge, Filesystem design, Formal verification
2	Jim Woodcock	First Steps in the Verified Software Grand Challenge.	IEEE Computer	2006	DBLP DOI BibTeX RDF	verified software grand challenge, software engineering
2	Sebastian Thrun	Winning the DARPA Grand Challenge.	PKDD	2006	DBLP DOI BibTeX RDF
2	Sebastian Thrun	Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert.	ASE	2006	DBLP DOI BibTeX RDF
2	Peichung Shih, Chengjun Liu	Improving the Face Recognition Grand Challenge Baseline Performance using Color Configurations Across Color Spaces.	ICIP	2006	DBLP DOI BibTeX RDF
2	Jim Woodcock	Verified Software Grand Challenge.	FM	2006	DBLP DOI BibTeX RDF
2	P. Jonathon Phillips, Patrick J. Flynn, W. Todd Scruggs, Kevin W. Bowyer, William J. Worek	Preliminary Face Recognition Grand Challenge Results.	FG	2006	DBLP DOI BibTeX RDF
2	Michael Spiegel, Paul F. Reynolds Jr., David C. Brogan	Grand challenge case studies in a simulation curriculum.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
2	Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump	Roadmap for enhanced languages and methods to aid verification.	GPCE	2006	DBLP DOI BibTeX RDF	verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction
2	Gregory Piatetsky-Shapiro, Chabane Djeraba, Lise Getoor, Robert Grossman, Ronen Feldman, Mohammed Javeed Zaki	What are the grand challenges for data mining?: KDD-2006 panel report.	SIGKDD Explorations	2006	DBLP DOI BibTeX RDF	X-prize, data mining, text mining, bioinformatics, web mining, image mining, grand challenge, link mining, video mining, multimedia mining
2	Isaac Miller, Ephrahim Garcia, Mark E. Campbell	To Drive Is Human.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Autonomous vehicles, Unmanned vehicles, DARPA Grand Challenge
2	Robert Touchton, Tom Galluzzo, Danny Kent, Carl D. Crane III	Perception and Planning Architecture for Autonomous Ground Vehicles.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Team CIMAR, Autonomous vehicles, Unmanned vehicles, DARPA Grand Challenge
2	Chris Urmson, William Whittaker, Sam Harbaugh, Michael Clark, Phillip L. Koon	Testing Driver Skill for High-Speed Autonomous Vehicles.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Autonomous vehicles, Unmanned vehicles, DARPA Grand Challenge
2	Jim Woodcock, Leo Freitas	Z/Eves and the Mondex Electronic Purse.	ICTAC	2006	DBLP DOI BibTeX RDF	electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex
2	Antoni Olivé	Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research.	CAiSE	2005	DBLP DOI BibTeX RDF
2	Mary Ellen Zurko	User-Centered Security: Stepping Up to the Grand Challenge.	ACSAC	2005	DBLP DOI BibTeX RDF
2	Tony Hoare, Jayadev Misra	Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.	VSTTE	2005	DBLP DOI BibTeX RDF
2	P. Jonathon Phillips, Patrick J. Flynn, W. Todd Scruggs, Kevin W. Bowyer, Jin Chang, Kevin Hoffman, Joe Marques, Jaesik Min, William J. Worek	Overview of the Face Recognition Grand Challenge.	CVPR	2005	DBLP DOI BibTeX RDF
2	Qi Chen, Ümit Özgüner, Keith Redmill	Ohio State University at the 2004 DARPA Grand Challenge: Developing a Completely Autonomous Vehicle.	IEEE Intelligent Systems	2004	DBLP DOI BibTeX RDF	finite-state machine, intelligent transportation systems, autonomous vehicle, DARPA Grand Challenge
2	Anil K. Jain, Sharath Pankanti, Salil Prabhakar, Lin Hong, Arun Ross	Biometrics: A Grand Challenge.	ICPR	2004	DBLP DOI BibTeX RDF
2	Tak-Wai Chan	A Grand Challenge: Optimum Curriculum Design.	C5	2004	DBLP DOI BibTeX RDF
2	C. A. R. Hoare	The verifying compiler: A grand challenge for computing research.	J. ACM	2003	DBLP DOI BibTeX RDF
2	C. A. R. Hoare	The Verifying Compiler: A Grand Challenge for Computing Research.	Euro-Par	2003	DBLP DOI BibTeX RDF
2	C. A. R. Hoare	The Verifying Compiler: A Grand Challenge for Computing Research.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
2	C. A. R. Hoare	The Verifying Compiler: A Grand Challenge for Computing Research.	CC	2003	DBLP DOI BibTeX RDF
2	David Harel	A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal.	HSCC	2003	DBLP DOI BibTeX RDF
2	Susan Stepney, John A. Clark, Colin G. Johnson, Derek Partridge, Robert E. Smith	Artificial Immune Systems and the Grand Challenge for Non-classical Computation.	ICARIS	2003	DBLP DOI BibTeX RDF
2	J. Strother Moore	A Grand Challenge Proposal for Formal Methods: A Verified Stack.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	simulation, modeling, model checking, theorem proving, software verification, hardware verification
2	Takashi Kido	Grand Challenge Problems on Cross Cultural Communication: Toward Socially Intelligent Agents.	CIA	1998	DBLP DOI BibTeX RDF
2	Clive F. Baillie, Dirk Grunwald, Suvas Vajracharya	Application of an Object-Oriented Parallel Run-Time System to a Grand Challenge 3D Multi-Grid Code. (PDF / PS)	HICSS	1996	DBLP DOI BibTeX RDF
1	Sylvain Gelly, Levente Kocsis, Marc Schoenauer, Michèle Sebag, David Silver, Csaba Szepesvári, Olivier Teytaud	The grand challenge of computer Go: Monte Carlo tree search and extensions.	Commun. ACM	2012	DBLP DOI BibTeX RDF
1	Sarvapali D. Ramchurn, Perukrishnen Vytelingum, Alex Rogers, Nicholas R. Jennings	Putting the 'smarts' into the smart grid: a grand challenge for artificial intelligence.	Commun. ACM	2012	DBLP DOI BibTeX RDF
1	Gerald Friedland, Yohan Jin	Industry Dares You: The ACM Multimedia Grand Challenge 2011.	IEEE MultiMedia	2012	DBLP DOI BibTeX RDF
1	Mila Dalla Preda	The Grand Challenge in Metamorphic Analysis.	ICISTM	2012	DBLP DOI BibTeX RDF
1	Benoît Montreuil	Toward a Physical Internet: meeting the global logistics sustainability grand challenge.	Logistics Research	2011	DBLP DOI BibTeX RDF
1	Ann Gabriel, Rebecca Capone	Executable Paper Grand Challenge Workshop.	Procedia CS	2011	DBLP DOI BibTeX RDF
1	Yann-Aël Le Borgne, A. Campo	Open Review in computer science Elsevier grand challenge on executable papers.	Procedia CS	2011	DBLP DOI BibTeX RDF
1	Cees G. M. Snoek, Malcolm Slaney	Academia Meets Industry at the Multimedia Grand Challenge.	IEEE MultiMedia	2011	DBLP DOI BibTeX RDF
1	Christian Müller-Schloer, Hartmut Schmeck	Organic Computing: A Grand Challenge for Mastering Complex Systems (Organic Computing: Eine große Herausforderung um komplexe Systeme beherrschen zu können).	it - Information Technology	2010	DBLP DOI BibTeX RDF
1	C. Campbell, S. Blanchard, S. Chin, C. Henderson, M. Holland, K. Jennings, P. Kuehl, D. Lucey, M. McCoy, J. McCracken, B. Pecheux, M. Pietrzak, D. Roberts, M. Sanders, K. Taylor, D. Whitford, R. P. DiMassimo	Multi-viz data fusion VAST 2010 Grand Challenge award: Outstanding debrief.	IEEE VAST	2010	DBLP DOI BibTeX RDF
1	Dustin Dunsmuir, Mahshid Z. Baraghoush, Victor Y. Chen, Minoo Erfani Joorabchi, Mona Erfani Joorabchi, Saba Alimadadi, Eric Lee, John Dill, Cheryl Z. Qian, Christopher D. Shaw, Robert F. Woodbury	CZSaw, IMAS & Tableau: Collaboration among teams: VAST 2010 Grand Challenge award: Excellent student team analysis.	IEEE VAST	2010	DBLP DOI BibTeX RDF
1	Wen-mei W. Hwu	Raising the level of many-core programming with compiler technology: meeting a grand challenge.	PACT	2010	DBLP DOI BibTeX RDF
1	Romulo Goncalves, Martin L. Kersten	The Data Cyclotron query processing scheme.	EDBT	2010	DBLP DOI BibTeX RDF
1	Laura Chiticariu, Yunyao Li, Sriram Raghavan, Frederick Reiss	Enterprise information extraction: recent developments and open challenges.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	usability, scalability, information extraction, accuracy, enterprise applications, declarative
1	Jin Song Dong, Jing Sun 0002	SCP special issue on the grand challenge - Preface.	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
1	J. Ross Beveridge, Geof H. Givens, P. Jonathon Phillips, Bruce A. Draper	Factors that influence algorithm performance in the Face Recognition Grand Challenge.	Computer Vision and Image Understanding	2009	DBLP DOI BibTeX RDF
1	Pinaki Sinha, Hamed Pirsiavash, Ramesh Jain	Personal photo album summarization.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	CeWe, multimedia grand challenge, photo album summarization, summary
1	Amr Ahmed, Eric P. Xing, William W. Cohen, Robert F. Murphy	Structured correspondence topic models for mining captioned figures in biological literature.	KDD	2009	DBLP DOI BibTeX RDF	information retrieval, bioinformatics, topic models, gibbs sampling, multimodal data
1	Gerald Friedland, Luke R. Gottlieb, Adam Janin	Joke-o-mat: browsing sitcoms punchline by punchline.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	acoustic event detection, speaker ID, video navigation
1	Tewson Seeoun, Choochart Haruechaiyasak, Toshiaki Kondo	Identifying auxiliary web images using combination of analyses.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	web image classification, support vector machines
1	Milena Ivanova, Martin L. Kersten, Niels J. Nes, Romulo Goncalves	An architecture for recycling intermediates in a column-store.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	databasekernels, caching, column-stores
1	Huanhuan Cao, Daxin Jiang, Jian Pei, Enhong Chen, Hang Li	Towards context-aware search by learning a very large variable length hidden markov model from search logs.	WWW	2009	DBLP DOI BibTeX RDF	context-aware search, variable length hidden Markov model
1	Marcelo Romero, Nick Pears	Landmark Localisation in 3D Face Data.	AVSS	2009	DBLP DOI BibTeX RDF
1	Songyun Duan, Peter Franklin, Vamsidhar Thummala, Dongdong Zhao, Shivnath Babu	Shaman: A Self-Healing Database System.	ICDE	2009	DBLP DOI BibTeX RDF
1	Chengjun Liu, Jian Yang	ICA Color Space for Pattern Recognition.	IEEE Transactions on Neural Networks	2009	DBLP DOI BibTeX RDF
1	Kresimir Matkovic, Denis Gracanin, Borislav Klarin, Helwig Hauser	Interactive Visual Analysis of Complex Scientific Data as Families of Data Surfaces.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
1	Darong Lai, Hongtao Lu, Mario Lauria, Diego di Bernardo, Christine Nardini	MANIA: A Gene Network Reverse Algorithm for Compounds Mode-of-Action and Genes Interactions Inference.	Complex	2009	DBLP DOI BibTeX RDF	Ordinary Differential Equations (ODE), compound mode-of-action, reverse engineering, gene expression, gene network
1	Artur Oliveira Gomes, Marcel Vinicius Medeiros Oliveira	Formal Specification of a Cardiac Pacing System.	FM	2009	DBLP DOI BibTeX RDF	formal modelling, Z, industrial applications, pacemaker
1	Zhiming Liu 0002, Chengjun Liu	Robust Face Recognition Using Color Information.	ICB	2009	DBLP DOI BibTeX RDF
1	Jimei Yang, ShengCai Liao, Stan Z. Li	Automatic Partial Face Alignment in NIR Video Sequences.	ICB	2009	DBLP DOI BibTeX RDF	Partial Faces, MBGC, SIFT, Face Alignment
1	Valeria V. Krzhizhanovskaya	Simulation of Multiphysics Multiscale Systems, 6th International Workshop.	ICCS	2009	DBLP DOI BibTeX RDF	ICCS, SMMS, Simulation, Modeling, Complex systems, Workshop, Multiscale, Multiphysics
1	David Déharbe, Stephenson Galvão, Anamaria Martins Moreira	Formalizing FreeRTOS: First Steps.	SBMF	2009	DBLP DOI BibTeX RDF
1	Miguel Alexandre Ferreira, José Nuno Oliveira	An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model.	SBMF	2009	DBLP DOI BibTeX RDF
1	Leo Freitas	Mechanising Data-Types for Kernel Design in Z.	SBMF	2009	DBLP DOI BibTeX RDF
1	Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu	Model-Checking the Linux Virtual File System.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Boulbaba Ben Amor, Hassen Drira, Lahoucine Ballihi, Anuj Srivastava, Mohamed Daoudi	An experimental illustration of 3D facial shape analysis under facial expressions.	Annales des Télécommunications	2009	DBLP DOI BibTeX RDF	Facial shape analysis, Automatic preprocessing, 3D Face recognition
1	Anna Petrovskaya, Sebastian Thrun	Model based vehicle detection and tracking for autonomous urban driving.	Auton. Robots	2009	DBLP DOI BibTeX RDF	Autonomous driving, Urban driving, Particle filter, Bayesian model, Vehicle tracking, Laser range finders
1	Bruno Dumas, Denis Lalanne, Sharon L. Oviatt	Multimodal Interfaces: A Survey of Principles, Models and Frameworks.	Human Machine Interaction	2009	DBLP DOI BibTeX RDF
1	Jason Payne, Jake Solomon, Ravi Sankar, Bob McGrew	Grand challenge award: Interactive visual analytics palantir: The future of analysis.	IEEE VAST	2008	DBLP DOI BibTeX RDF
1	Lynn Chien, Annie Tat, Pascale Proulx, Adeel Khamisa, William Wright	Grand challenge award 2008: Support for diverse analytic techniques - nSpace2 and GeoTime visual analytics.	IEEE VAST	2008	DBLP DOI BibTeX RDF
1	Donald Pellegrino, Chi-Chun Pan, Anthony Robinson, Michael Stryker, Junyan Luo, Chris Weaver, Prasenjit Mitra, Chaomei Chen, Ian Turton, Alan M. MacEachren	Grand challenge award: Data integration visualization and collaboration in the VAST 2008 Challenge.	IEEE VAST	2008	DBLP DOI BibTeX RDF
1	Susan Stepney, Samson Abramsky, Andy Adamatzky, Colin G. Johnson, Jon Timmis	Grand Challenge 7: Journeys in Non-Classical Computation.	BCS Int. Acad. Conf.	2008	DBLP BibTeX RDF
1	Tim David	System Level Accelerator with Blue Gene: A Heterogeneous Computing Model for Grand Challenge Problems.	High Performance Computing Workshop	2008	DBLP DOI BibTeX RDF
1	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack	The Grand Challenge of Scalability for Model Driven Engineering.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	New Challenges in Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	Logic model checking, grand challenge project, flash file system challenge, software reliability, software verification, software structure
1	Khaled Z. Ibrahim, François Bodin	Implementing Wilson-Dirac operator on the cell broadband engine.	ICS	2008	DBLP DOI BibTeX RDF	SIMD computer architecture, lattice qcd calculations, multi-core, MPSoC, cell broadband engine, data-parallel computing
1	Cynthia Della Torre Cicalese, Richard M. Weatherly, Joel Sherrill, Robert H. Bolling, Kevin Forbes, Robert Grabowski, Keven Ring, David Seidel	A distributed, multi-language architecture for large unmanned ground vehicles.	SIGAda	2008	DBLP DOI BibTeX RDF	large unmanned ground vehicles, java, ada, robotics
1	Edward D. Lazowska	Computer science: past, present, and future.	SIGCSE	2008	DBLP DOI BibTeX RDF	computing community consortium
1	Nagarajan Venkateswaran, Karthik Chandrasekar 0001, Shrikanth Ganapathy	Design for Testability of Functional Cores in High Performance Node Architectures.	DELTA	2008	DBLP DOI BibTeX RDF	Integrated Memory and Logic, Memory-in-Logic Cells, Higher Level Functional Units, Performance Consistency, Reliabilty, Heterogenous Multi-Core
1	Clinton Fookes, George Mamic, Chris McCool, Sridha Sridharan	Normalisation and Recognition of 3D Face Data Using Robust Hausdorff Metric.	DICTA	2008	DBLP DOI BibTeX RDF
1	Yui Man Lui, J. Ross Beveridge, Bruce A. Draper, Michael Kirby	Image-set matching using a geodesic distance and cohort normalization.	FG	2008	DBLP DOI BibTeX RDF
1	Alice J. O'Toole, P. Jonathon Phillips, Abhijit Narvekar	Humans versus algorithms: Comparisons from the Face Recognition Vendor Test 2006.	FG	2008	DBLP DOI BibTeX RDF
1	Jim Woodcock, Leo Freitas	Linking VDM and Z.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Jian Yang, Chengjun Liu	A discriminant color space method for face representation and verification on a large-scale database.	ICPR	2008	DBLP DOI BibTeX RDF
1	Permanand Mohan	A teacher for every learner: Rising to the challenge with computational intelligence.	IJCNN	2008	DBLP DOI BibTeX RDF
1	Christof Teuscher, Anders A. Hansson	Non-traditional irregular interconnects for massive scale SoC.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Reng Zeng, Jianling Liu, Xudong He	A Formal Specification of Mondex Using SAM.	SOSE	2008	DBLP DOI BibTeX RDF