Search results for "proven"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Christian Martyn Jones, Matthew John Willis	Edutainment in the field using mobile location based services.	OZCHI	2009	DBLP DOI BibTeX RDF	context and location awareness, education and HCI, remote environments, smart phones
4	David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra	The Orc Programming Language.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
4	Khaled Alghathbar, Hanan A. Mahmoud	Noisy password scheme: A new one time password system.	CCECE	2009	DBLP DOI BibTeX RDF
4	David Galindo	Breaking and Repairing Damgård et al. Public Key Encryption Scheme with Non-interactive Opening.	CT-RSA	2009	DBLP DOI BibTeX RDF	non-interactive proofs, standard model, public key encryption, identity-based encryption
4	Andrew Y. Lindell	Local Sequentiality Does Not Help for Concurrent Composition.	CT-RSA	2009	DBLP DOI BibTeX RDF
4	Ahmed Jeddah, Nejib Zaguia, Guy-Vincent Jourdan	Analyzing the Device Discovery Phase of Bluetooth Scatternet Formation Algorithms.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
4	Nicola Beume, Boris Naujoks, Mike Preuss, Günter Rudolph, Tobias Wagner 0001	Effects of 1-Greedy -Metric-Selection on Innumerably Large Pareto Fronts.	EMO	2009	DBLP DOI BibTeX RDF
4	Tobias Wagner 0001, Heike Trautmann, Boris Naujoks	OCD: Online Convergence Detection for Evolutionary Multi-Objective Algorithms Based on Statistical Testing.	EMO	2009	DBLP DOI BibTeX RDF
4	Jared Cechanowicz, Carl Gutwin	Augmented Interactions: A Framework for Adding Expressive Power to GUI Widgets.	INTERACT (1)	2009	DBLP DOI BibTeX RDF
4	Oliver Pawlowski, Jürgen Dunkel, Ralf Bruns, Sascha Ossowski	Applying Event Stream Processing on Traffic Problem Detection.	EPIA	2009	DBLP DOI BibTeX RDF	Event Stream Processing (ESP), Complex Event Processing (CEP), Event-Driven Architecture (EDA)
4	Tom van den Broek, Julien Schmaltz	Towards a formally verified network-on-chip.	FMCAD	2009	DBLP DOI BibTeX RDF
4	Jiong Guo, Hannes Moser, Rolf Niedermeier	Iterative Compression for Exactly Solving NP-Hard Minimization Problems.	Algorithmics of Large and Complex Networks	2009	DBLP DOI BibTeX RDF
4	Jae-Hee Lim, Suk-Hoon Song, Tae-Yong Kuc, Hong-Seong Park, Hong-Seak Kim	A Hierarchical Test Model and Automated Test Framework for RTC.	FGIT	2009	DBLP DOI BibTeX RDF	Robot Software Component Testing, Robot Hardware Testing, Hierarchical Test Model, Automated Testing System, Robotics
4	Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic	From system specifications to component behavioral models.	ICSE Companion	2009	DBLP DOI BibTeX RDF
4	Andrew Sutherland, Gina Venolia	Can peer code reviews be exploited for later information needs?	ICSE Companion	2009	DBLP DOI BibTeX RDF
4	Roberto Milev, Steven Muegge, Michael Weiss 0001	Design Evolution of an Open Source Project Using an Improved Modularity Metric. (PDF / PS)	OSS	2009	DBLP DOI BibTeX RDF
4	Henrik Hedberg, Netta Iivari	Integrating HCI Specialists into Open Source Software Development Projects. (PDF / PS)	OSS	2009	DBLP DOI BibTeX RDF
4	Huzefa Rangwala, Christopher Kauffman, George Karypis	A Kernel Framework for Protein Residue Annotation.	PAKDD	2009	DBLP DOI BibTeX RDF
4	Rao Mikkilineni, Vijay Sarathy	Cloud Computing and the Lessons from the Past.	WETICE	2009	DBLP DOI BibTeX RDF
4	Lee Liming, John-Paul Navarro, Eric Blau, Jason Brechin, Charlie Catlett, Maytal Dahan, Diana Diehl, Rion Dooley, Michael Dwyer, Kate Ericson, Ian T. Foster, Ed Hanna, David L. Hart, Chris Jordan, Rob Light, Stuart Martin, John McGee, Laura Pearlman, Jason Reilly, Tom Scavo, Michael Shapiro, Shava Smallen, Warren Smith, Nancy Wilkins-Diehr	TeraGrid's integrated information service.	SC-GCE	2009	DBLP DOI BibTeX RDF	high-performance computing systems, information federation, service registries, distributed systems, World Wide Web (WWW), schema, information services, directory services, TeraGrid
4	Rostand Costa, Francisco V. Brasileiro, Guido Lemos de Souza Filho, Dênio Mariz Sousa	OddCI: on-demand distributed computing infrastructure.	SC-MTAGS	2009	DBLP DOI BibTeX RDF	distributed computing infrastructure, on-demand instantiation, grid computing, cloud computing, broadcast, digital TV, high-throughput computing, many tasks computing
4	Martin Nordio, Cristiano Calcagno, Peter Müller 0001, Bertrand Meyer 0001	A Sound and Complete Program Logic for Eiffel.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	operational semantics, Software verification, Eiffel, program proofs
4	Oded Goldreich 0001, Michael Krivelevich, Ilan Newman, Eyal Rozenberg	Hierarchy Theorems for Property Testing.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF	Monotone Graph Properties, Graph Blow-up, One-Sided vs Two-Sided Error, Adaptivity vs Non-adaptivity, Property Testing, Graph Properties
4	Douglas E. Carroll, Adam Meyerson, Brian Tagiku	Approximations for Aligned Coloring and Spillage Minimization in Interval and Chordal Graphs.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF
4	Timo Brecher, Emmanuel Bresson, Mark Manulis	Fully Robust Tree-Diffie-Hellman Group Key Exchange.	CANS	2009	DBLP DOI BibTeX RDF
4	Chun-Ho Wu, Na Dong, Waihung Ip, Zengqiang Chen 0001, Kai-Leung Yung	Applying Chaotic Particle Swarm Optimization to the Template Matching Problem.	ISICA	2009	DBLP DOI BibTeX RDF	Chaotic Particle Swarm Optimization, PCB Manufacture, Template Matching
4	Walter Rafelsberger, Arno Scharl	Games with a purpose for social networking platforms.	Hypertext	2009	DBLP DOI BibTeX RDF	social networking platforms, application framework, games with a purpose, sentiment detection
4	David Galindo, Flavio D. Garcia	A Schnorr-Like Lightweight Identity-Based Signature Scheme.	AFRICACRYPT	2009	DBLP DOI BibTeX RDF	Schnorr, provable security, random oracle model, identity-based signature, lightweight cryptography
4	Donald Metzler, Hugo Zaragoza	Semi-parametric and Non-parametric Term Weighting for Information Retrieval.	ICTIR	2009	DBLP DOI BibTeX RDF
4	Ville Viitaniemi, Jorma Laaksonen	Representing Images with chi2 Distance Based Histograms of SIFT Descriptors.	ICANN (2)	2009	DBLP DOI BibTeX RDF
4	A. Prasanna Jagadeesan, A. Lynn, Jonathan R. Corney, Xiu-Tian Yan 0001, Jan Wenzel, Andrew Sherlock, William C. Regli	Geometric reasoning via internet CrowdSourcing.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	2D strip packing, 3D similarity, canonical view, mTurk, micro-outsourcing, crowdsourcing, geometric reasoning
4	Yerbol Nisanbayev, Huiseong Na, Dongwook Lim, Franz Ko	Designing an electronic medical records system using design patterns.	ICIS	2009	DBLP DOI BibTeX RDF	EMR (Electronic Medical Records), HIS (Healthcare Information System), UML, design patterns
4	Sadhana Yogesh Ghalsasi	Critical success factors for event driven service oriented architecture.	ICIS	2009	DBLP DOI BibTeX RDF	event driven service oriented architecture, service oriented architecture, complex event processing
4	Yücel Batu Salman, Ibrahim Furkan Ince, Ji Young Kim, Hong-In Cheng, Mustafa Eren Yildirim	Participatory design and evaluation of e-learning system for Korean language training.	ICIS	2009	DBLP DOI BibTeX RDF	participatory development, evaluation, e-learning, training, usability testing, development
4	Hau-Dong Tsui, Chong-Yen Lee, Tsang-Yean Lee	From the bricks to the clicks: knowledge management in e-government.	ICIS	2009	DBLP DOI BibTeX RDF	KM, e-government, knowledge, ICT
4	Bruce Trask, Angel Roman	Leveraging model driven engineering in software product line architectures.	SPLC	2009	DBLP BibTeX RDF
4	Rossana Damiano, Vincenzo Lombardo	Value-Driven Characters for Storytelling and Drama.	AI*IA	2009	DBLP DOI BibTeX RDF
4	Robert Lorenz 0001, Gabriel Juhás, Sebastian Mauser	Partial Order Semantics of Types of Nets.	SOFSEM	2009	DBLP DOI BibTeX RDF
4	Michael McAllister	Success factors of Business Intelligence.	MSR	2009	DBLP DOI BibTeX RDF
4	Heng Yang 0003, Qing Wang 0006, Zhoucan He	Indexing Large Visual Vocabulary by Randomized Dimensions Hashing for High Quantization Accuracy: Improving the Object Retrieval Quality.	CAIP	2009	DBLP DOI BibTeX RDF	Vocabulary tree, Randomized dimensions hashing, Object retrieval
4	Jimmy Addison Lee, Kin Choong Yow 0001	Combining Invariant and Corner-Like Features to Optimize Image Matching.	PSIVT	2009	DBLP DOI BibTeX RDF	Keypoint extraction, salient keypoints, distinctive key-points, corner-like patterns
4	Ali Amer Alwan, Hamidah Ibrahim, Nur Izura Udzir	Ranking and selecting integrity tests in a distributed database.	iiWAS	2009	DBLP DOI BibTeX RDF	integrity constraints checking, distributed database, integrity constraints, integrity tests
4	Cong-Rui Ji, Zhi-Hong Deng, Yong-Qing Xiang, Hang Yu, Shi-Wei Tang	XTree: A New XML Keyword Retrieval Model.	APWeb/WAIM Workshops	2009	DBLP DOI BibTeX RDF
4	Julien Mairal, Francis R. Bach, Jean Ponce, Guillermo Sapiro	Online dictionary learning for sparse coding.	ICML	2009	DBLP DOI BibTeX RDF
4	Hannes Nickisch, Matthias W. Seeger	Convex variational Bayesian inference for large scale generalized linear models.	ICML	2009	DBLP DOI BibTeX RDF
4	Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani	Towards Automated Software Verification Using Model Checking Techniques.	TASE	2009	DBLP DOI BibTeX RDF
4	Che-Sheng Lin, Gwan-Hwan Hwang	Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs.	TASE	2009	DBLP DOI BibTeX RDF
4	Xin Ying Qiu	Learning to rank firms with annual reports.	ICDIM	2009	DBLP DOI BibTeX RDF
4	Holger Storf, Thomas Kleinberger, Martin Becker 0002, Mario Schmitt, Frank Bomarius, Stephan Prueckner	An Event-Driven Approach to Activity Recognition in Ambient Assisted Living.	AmI	2009	DBLP DOI BibTeX RDF	Multi-Agent Systems, Activity Recognition, Complex Event Processing, Ambient Assisted Living, Information Processing
4	William Plishker, Nimish Sane, Shuvra S. Bhattacharyya	Mode grouping for more effective generalized scheduling of dynamic dataflow applications.	DAC	2009	DBLP DOI BibTeX RDF	mode grouping, scheduling, dataflow
4	Heiko Falk, Jan C. Kleinsorge	Optimal static WCET-aware scratchpad allocation of program code.	DAC	2009	DBLP DOI BibTeX RDF	scratchpad allocation, WCET
4	Gabriel Marcilio, Luiz C. V. dos Santos, Bruno C. Albertini, Sandro Rigo	A novel verification technique to uncover out-of-order DUV behaviors.	DAC	2009	DBLP DOI BibTeX RDF	white-box verification, bipartite graphs
4	Lei Liu 0020, Stefan Thanheiser, Hartmut Schmeck	Assessing the Impact of Inherent SOA System Properties on Complexity.	ICIW	2009	DBLP DOI BibTeX RDF
4	Zhilei Ma, Wei Lu, Frank Leymann	Query Structural Information of BPEL Processes.	ICIW	2009	DBLP DOI BibTeX RDF
4	Fabrizio Falchi, Claudio Lucchese, Salvatore Orlando 0001, Raffaele Perego 0001, Fausto Rabitti	Caching content-based queries for robust and efficient image retrieval.	EDBT	2009	DBLP DOI BibTeX RDF	near-duplicate images, query popularity, query-result caching, content-based retrieval, metric space
4	Parisa Haghani, Sebastian Michel 0001, Karl Aberer	Distributed similarity search in high dimensions using locality sensitive hashing.	EDBT	2009	DBLP DOI BibTeX RDF	KNN search, distributed high dimensional search, P2P, range query, high dimensionality
4	Essam Mansour 0001, Hagen Höpfner	An approach to detecting relevant updates to cached data using XML and active databases.	EDBT	2009	DBLP DOI BibTeX RDF
4	Ivan Marsá-Maestre, Miguel A. López-Carmona, Juan R. Velasco, Enrique de la Hoz	Effective bidding and deal identification for negotiations in highly nonlinear scenarios.	AAMAS (2)	2009	DBLP BibTeX RDF	highly-nonlinear utility spaces, multi-agent systems, multi-issue negotiation
4	Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh	Manipulation and gender neutrality in stable marriage procedures.	AAMAS (1)	2009	DBLP BibTeX RDF
4	Nathan Schurr, Janusz Marecki, Milind Tambe	Improving adjustable autonomy strategies for time-critical domains.	AAMAS (1)	2009	DBLP BibTeX RDF
4	Bruno Mermet, Gaële Simon	GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems.	AAMAS (1)	2009	DBLP BibTeX RDF	GDTs, verification, specification, temporal logic, multiagent systems
4	Riadh Ksantini, Boubakeur Boufama	A Novel Bayesian Logistic Discriminant Model with Dirichlet Distributions: An Application to Face Recognition.	ICIAR	2009	DBLP DOI BibTeX RDF	Dirichlet Distribuion, Face Recognition, Logistic Regression, Linear Discriminant Analysis, Variational Method, Small Sample Size Problem, Bayesian Theory
4	Rudolf Berghammer, Bernd Braßel	Computing and Visualizing Closure Objects Using Relation Algebra and RelView.	CASC	2009	DBLP DOI BibTeX RDF
4	Enrique A. de la Cal, José Ramón Villar 0001, Javier Sedano	A Thermodynamical Model Study for an Energy Saving Algorithm.	HAIS	2009	DBLP DOI BibTeX RDF	Hybrid Artificial Intelligence Systems, Thermodynamical Modlling, Electric Energy saving, Fuzzy systems, Real World Applications
4	Javier Galbally, Julian Fiérrez, Marcos Martinez-Diaz, Javier Ortega-Garcia	Evaluation of Brute-force Attack to Dynamic Signature Verification Using Synthetic Samples.	ICDAR	2009	DBLP DOI BibTeX RDF
4	Mathieu Hopmann, Daniel Thalmann, Frédéric Vexo	Tangible Drag-and-Drop: Transferring Digital Content with a Remote Control.	Edutainment	2009	DBLP DOI BibTeX RDF
4	Kuo-Hsun Hung, Charles K. Kinzer, Cheng-Ling Alice Chen	Motivational Factors in Educational MMORPGs: Some Implications for Education.	Edutainment	2009	DBLP DOI BibTeX RDF
4	Hayden Stainsby, Manel Taboada, Emilio Luque	Towards an Agent-Based Simulation of Hospital Emergency Departments.	IEEE SCC	2009	DBLP DOI BibTeX RDF
4	David P. Miller, Illah R. Nourbakhsh, Roland Siegwart	Robots for Education.	Springer Handbook of Robotics	2008	DBLP DOI BibTeX RDF
4	Sarah-Jane Whittaker, Karen Rudie	Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Supervisor reduction, Automata, Discrete-event systems, Supervisory control
4	Jun Ma 0019, Malcolm Hudson	Block-Iterative Fisher Scoring Algorithms for Maximum Penalized Likelihood Image Reconstruction in Emission Tomography.	IEEE Trans. Medical Imaging	2008	DBLP DOI BibTeX RDF
4	Rafael Alonso Clarke, Paola Scifo, Giovanna Rizzo, Flavio Dell'Acqua, Giuseppe Scotti, Ferruccio Fazio	Noise Correction on Rician Distributed Data for Fibre Orientation Estimators.	IEEE Trans. Medical Imaging	2008	DBLP DOI BibTeX RDF
4	Zhen Qi, John E. McInroy	Improved Image Based Visual Servoing with Parallel Robot.	J. Intell. Robotic Syst.	2008	DBLP DOI BibTeX RDF	Position regulation, Image Jacobian, Adaptive supervisory fuzzy logic controller, Fuzzy scaling matrix, Parallel robot, Settling time
4	Giuseppe Primiero, Joke Meheus	Majority merging by adaptive counting.	Synth.	2008	DBLP DOI BibTeX RDF	Majority merging, Dynamic reasoning, Multi-agent reasoning, Belief merging, Adaptive logics
4	Joshua D. Laison	Unit and Proper Tube Orders.	Order	2008	DBLP DOI BibTeX RDF	Trapezoid order, Interval-order dimension, Tube order, Geometric representations of ordered sets, Interval order
4	Yuan Ren 0002, Yu Ding 0002, Faming Liang	Adaptive evolutionary Monte Carlo algorithm for optimization with applications to sensor placement problems.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Adaptive MCMC, Evolutionary Monte Carlo, Data mining, Global optimization
4	Jingzhou Li, Günther Ruhe	Analysis of attribute weighting heuristics for analogy-based software effort estimation method AQUA+.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Effort estimation by analogy, Attribute weighting, Rough set analysis, Learning, Feature selection, Heuristics
4	Yanfeng Zhu 0001, Qian Zhang 0001, Zhisheng Niu, Jing Zhu 0001	On Optimal QoS-aware Physical Carrier Sensing for IEEE 802.11 Based WLANs: Theoretical Analysis and Protocol D esign.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
4	Shin-Ming Cheng, Wei-Ru Lai, Phone Lin, Kwang-Cheng Chen	Key Management for UMTS MBMS.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
4	Anders Gjendemsjø, David Gesbert, Geir E. Øien, Saad G. Kiani	Binary Power Control for Sum Rate Maximization over Multiple Interfering Links.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
4	Zeljko Obrenovic, Dragan Gasevic	End-User Service Computing: Spreadsheets as a Service Composition Tool.	IEEE Trans. Serv. Comput.	2008	DBLP DOI BibTeX RDF
4	James G. Potter, Hsiaosu Hsiung	Service-Level Agreements: Aligning Performance and Expectations.	IT Prof.	2008	DBLP DOI BibTeX RDF
4	Gottfried Zimmermann, Gregg C. Vanderheiden	Accessible design and testing in the application development process: considerations for an integrated approach.	Univers. Access Inf. Soc.	2008	DBLP DOI BibTeX RDF	Accessible design, Testing, Use cases, Universal design, Personas
4	Chua-Chin Wang, Chi-Chun Huang, Ching-Li Lee, Tsai-Wen Cheng	A Low Power High-Speed 8-Bit Pipelining CLA Design Using Dual-Threshold Voltage Domino Logic.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
4	Antonio Flores, Juan L. Aragón, Manuel E. Acacio	An energy consumption characterization of on-chip interconnection networks for tiled CMP architectures.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Power dissipation model, Microarchitectural level simulator, Heterogeneus on-chip interconnection network, Chip-multiprocessor, Parallel scientific applications
4	Floriberto Ortiz Rodriguez, Wen Yu 0001, Marco A. Moreno-Armendáriz	Nonlinear Systems Identification via Two Types of Recurrent Fuzzy CMAC.	Neural Process. Lett.	2008	DBLP DOI BibTeX RDF	Fuzzy CMAC, Modeling, Recurrent neural networks
4	Rodolfo Pellizzoni, Marco Caccamo	M-CASH: A real-time resource reclaiming algorithm for multiprocessor platforms.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	Real-time resource reservation, Real-time scheduling, Symmetric multiprocessors
4	John Thomas, Naren Ramakrishnan, Chris Bailey-Kellogg	Graphical Models of Residue Coupling in Protein Families.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	Correlated mutations, evolutionary covariation, sequence-structure-function relationships, functional classification, graphical models
4	Marco Vassura, Luciano Margara, Pietro di Lena, Filippo Medri, Piero Fariselli, Rita Casadio	Reconstruction of 3D Structures From Protein Contact Maps.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	Protein structure prediction, Combinatorial algorithms, Molecular Modeling, Contact map
4	Srinath Sridhar 0001, Fumei Lam, Guy E. Blelloch, R. Ravi 0001, Russell Schwartz	Mixed Integer Linear Programming for Maximum-Parsimony Phylogeny Inference.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	Phylogenetic tree reconstruction, Algorithms, Integer Linear Programming, Computational Biology, Steiner tree problem, Maximum parsimony
4	Ravi Vijaya Satya, Amar Mukherjee	The Undirected Incomplete Perfect Phylogeny Problem.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	Incomplete Perfect Phylogeny, Phylogenetics, Haplotype Inference, Perfect Phylogeny
4	Khoongming Khoo, Chu-Wee Lim, Guang Gong	Highly nonlinear balanced S-boxes with improved bound on unrestricted and generalized nonlinearity.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Generalized nonlinearity, Unrestricted nonlinearity, Vectorial Boolean functions, Power functions
4	Noa Agmon, Noam Hazon, Gal A. Kaminka	The giving tree: constructing trees for efficient offline and online multi-robot coverage.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68T40 Robotics
4	Peter Haase 0001, Ronny Siebes, Frank van Harmelen	Expertise-based peer selection in Peer-to-Peer networks.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Ontologies, Routing, P2P, Semantic overlays
4	Martino Ruggiero, Alessio Guerri, Davide Bertozzi, Michela Milano, Luca Benini	A Fast and Accurate Technique for Mapping Parallel Applications on Stream-Oriented MPSoC Platforms with Communication Awareness.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	scheduling, Integer Programming, Constraint Programming, MPSoCs, allocation
4	Dennis J. McFarland, Jonathan R. Wolpaw	Brain-Computer Interface Operation of Robotic and Prosthetic Devices.	Computer	2008	DBLP DOI BibTeX RDF
4	Jianxi Fan, Xiaohua Jia, Xiaola Lin	Embedding of Cycles in Twisted Cubes with Edge-Pancyclic.	Algorithmica	2008	DBLP DOI BibTeX RDF	Edge-pancyclicity, Interconnection network, Embedding, Cycle, Dilation, Twisted cube
4	Valentina Cacchiani, Alberto Caprara, Paolo Toth	A column generation approach to train timetabling on a corridor.	4OR	2008	DBLP DOI BibTeX RDF	90C57, 90C10, MSC Classification 90B06
4	Haifeng Qian, Yuan Zhou 0008, Zhibin Li 0005, Zecheng Wang, Bing Zhang 0008	Efficient public key encryption with smallest ciphertext expansion from factoring.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification 94A60
4	Alfredo Benso, Alberto Bosio, Stefano Di Carlo, Giorgio Di Natale, Paolo Prinetto	March Test Generation Revealed.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF