Search results for "C3S2E"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Iago Abal, Jorge Sousa Pinto	Towards a mostly-automated prover for bit-vector arithmetic.	C3S2E	2013	DBLP DOI BibTeX RDF
1	Maryam Zakeryfar, Peter Grogono	Static analysis of concurrent programs by adapted vector clock.	C3S2E	2013	DBLP DOI BibTeX RDF
1	Syeda Nadia Firdaus, Eric Harley	Protein structural class prediction using predicted secondary structure and hydropathy profile.	C3S2E	2013	DBLP DOI BibTeX RDF
1	Valtchan Valtchanov, Joseph Alexander Brown	Evolving dungeon crawler levels with relative placement.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Benoit Gaudin, Paddy Nixon	Supervisory control for software runtime exception avoidance.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Fahim Irfan Alam, Iker Gondra	Incorporating shape into spatially-aware adaptive object segmentation algorithm.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Zhaofei Tian, Sanzheng Qiao	A complexity analysis of a Jacobi method for lattice basis reduction.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Christopher A. Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey	The AdaptiV approach to verification of adaptive systems.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Ridha Zarrougui, Abdelaziz Khadraoui	Ontology based information system application (OBISA).	C3S2E	2012	DBLP DOI BibTeX RDF
1	Miao Song 0001, Peter Grogono	Real-time modeling and physical-based animation of a jellyfish from softbody in OpenGL.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Ugo Montanari, Emil Vassev	Soft constraints for KnowLang.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Majid Sazvar, Mahmoud Naghibzadeh, Nayyereh Saadati	Quick-MLCS: a new algorithm for the multiple longest common subsequence problem.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Mahmood Hossain, Susan M. Bridges, Yong Wang, Julia E. Hodges	An effective ensemble method for hierarchical clustering.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Joseph Alexander Brown, Terry Trowbridge	Using poetry as a teaching tool for the humanities to learn computer science concepts.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Emil Vassev, Mike Hinchey, Benoit Gaudin	Knowledge representation for self-adaptive behavior.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Andrew Blakney	Fleshing out gestures: augmenting 3D interaction.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Ahmad Soleimani, Ziad Kobti	An adaptive computational model of emotion regulation strategies based on gross theory.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Selim Kebir, Abdelhak-Djamel Seriai, Allaoua Chaoui, Sylvain Chardigny	Comparing and combining genetic and clustering algorithms for software component identification from object-oriented code.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Bipin C. Desai, Emil Vassev, Sudhir P. Mudur (eds.)	Fifth International C* Conference on Computer Science & Software Engineering, C3S2E '12, Montreal, QC, Canada, June 27-29, 2012	C3S2E	2012	DBLP BibTeX RDF
1	Hussin Ketout, Jason Gu, Gabrielle Horne	Extracting left ventricular contour by MVN_CNN, UBN_CNN and region based level set method.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Danny Weyns, M. Usman Iftikhar, Didac Gil de la Iglesia, Tanvir Ahmad	A survey of formal methods in self-adaptive systems.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Morteza Noroozi, Shima Saedi, Mohsen Taherian, Khosro Ghadipasha	SRAD: a semantic rapid method for software development.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Yi Ji 0002, Serguei A. Mokhov, Joey Paquet	Unifying and refactoring DMF to support concurrent Jini and JMS DMS in GIPSY.	C3S2E	2012	DBLP DOI BibTeX RDF
1	Emil Vassev, Mike Hinchey, Benoit Gaudin, Paddy Nixon	Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Michael J. Assels, Dana Echtner, Michael Spanner, Serguei A. Mokhov, François Carrière, Manny Taveroff	Multifaceted faculty network design and management: practice and experience.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Bipin C. Desai, Alain Abran, Sudhir P. Mudur (eds.)	Fourth International C* Conference on Computer Science & Software Engineering, C3S2E 2011, Montreal, Quebec, Canada, May 16-18, 2011, Proceedings	C3S2E	2011	DBLP BibTeX RDF
1	Aiman Lafi Al-Harbi, Sylvia L. Osborn	Mixing privacy with role-based access control.	C3S2E	2011	DBLP DOI BibTeX RDF
1	KunSheng Zhao, Bipin C. Desai, Rui Chen 0012, Min Huang, Ming Lu	An online academic journal system for CINDI.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Joerg Evermann, Adrian Fiech, Farhana Eva Alam	A platform-independent UML profile for aspect-oriented development.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Matthias Tilsner, Adrian Fiech, Guangyao Zhan, Thomas Specht	Patterns for service composition.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Gustavo Villavicencio	A bottom-up approach to understand functional programs.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Xin Chen, David Pager	Full LR(1) parser generator Hyacc and study on the performance of LR(1) algorithms.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Mohammad Omair Alam, Boubakeur Boufama	Occlusion handling based on sub-blobbing in automated video surveillance system.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Nicolas Robidoux, Peer Stelldinger, John Cupitt	Simple random generation of smooth connected irregular shapes for cognitive studies.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Jean-François Landry, Jean-Pierre Dussault, Philippe Mahey	Billiards: an optimization challenge.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Rohollah Moosavi Tayebi, Samaneh Mazaheri, Bahram Sadeghi Bigham	A new fingerprint matching approach using level 2 and level 3 features.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Ajay Jaiswal, Ramesh K. Agrawal, Nitin Kumar	Performance evaluation of linear subspace methods for face recognition under illumination variation.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Yixian Luo, Sanzheng Qiao	A parallel LLL algorithm.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Francisco Ortin, Miguel García	Separating different responsibilities into parallel hierarchies.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Anthony Penniston, Eric Harley	Attempts to verify written English.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Antoine Bossard, Keiichi Kaneko	Set-to-set disjoint-path routing in perfect hierarchical hypercubes.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Venkat R. B. Santosh, Mark A. Griep, Peter Z. Revesz	Protein structure-based method for identifying horizontal gene transfer.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Metanat HooshSadat, Hamman W. Samuel, Sonal Patel, Osmar R. Zaïane	Fastest association rule mining algorithm predictor (FARM-AP).	C3S2E	2011	DBLP DOI BibTeX RDF
1	Juan Jose Cuadrado-Gallego, Borja Martín-Herrera, Pablo Rodríguez-Soria	Visual learning techniques for software measurement.	C3S2E	2011	DBLP DOI BibTeX RDF
1	Sonal Patel, Eric Harley	Estimation of the number of cliques in a random graph.	C3S2E	2010	DBLP DOI BibTeX RDF
1	Peter Grogono, Nima Jafroodi	A fair protocol for non-deterministic message passing.	C3S2E	2010	DBLP DOI BibTeX RDF	communication, concurrency, fairness, message passing, deadlock
1	Michael Jenkin, Bart Verzijlenberg, Andrew Hogue	Progress towards underwater 3D scene recovery.	C3S2E	2010	DBLP DOI BibTeX RDF	3D scene recovery, robotics
1	Asif Javed, Laxmi Parida	Recombinomics: population genomics from a recombination perspective.	C3S2E	2010	DBLP DOI BibTeX RDF	algorithms, genomics, phylogeny, recombinations
1	Cyprien Noël	Extensible software transactional memory.	C3S2E	2010	DBLP DOI BibTeX RDF	software architecture, synchronization, transactional memory, concurrent programming, composability, object replication
1	Mehdi Adda, Petko Valtchev, Rokia Missaoui, Chabane Djeraba	A framework for mining meaningful usage patterns within a semantically enhanced web portal.	C3S2E	2010	DBLP DOI BibTeX RDF	web adaptation, ontologies, sequential pattern mining
1	Andrew Casey, Jun Li, Jesse Doherty, Maxime Chevalier-Boisvert, Toheed Aslam, Anton Dubrau, Nurudeen Lameed, Amina Aslam, Rahul Garg 0003, Soroush Radpour, Olivier Savary Bélanger, Laurie J. Hendren, Clark Verbrugge	McLab: an extensible compiler toolkit for MATLAB and related languages.	C3S2E	2010	DBLP DOI BibTeX RDF	compiler, programming languages, scientific computing, Matlab, JIT compilation
1	Daniel Dutil, José Rose, Witold Suryn, Bettina Thimot	Software quality engineering in the new ISO standard: ISO/IEC 24748 - systems and software engineering --- guide for life cycle management.	C3S2E	2010	DBLP DOI BibTeX RDF	12207, 15288, 24748, 9126, management, software, quality, engineering, attributes, lifecycle
1	Graham Holker, Marcus Vinicius dos Santos	Toward an estimation of distribution algorithm for the evolution of artificial neural networks.	C3S2E	2010	DBLP DOI BibTeX RDF
1	Alen Jakupovic, Mile Pavlic, Sanja Candrlic	Application of analytic hierarchy process (AHP) to measure the complexity of the business sector and business software.	C3S2E	2010	DBLP DOI BibTeX RDF	business sectors, business software, complexity, metrics, analytic hierarchy process (AHP)
1	Mathew D. Hunter, Quoc Hao Mach, Ratvinder Singh Grewal 0001	The relationship between scan path direction and cognitive processing.	C3S2E	2010	DBLP DOI BibTeX RDF	QEEG, human-computer interaction, eye tracking, cognitive processing
1	Serguei A. Mokhov	Evolution of MARF and its NLP framework.	C3S2E	2010	DBLP DOI BibTeX RDF	MARF, software systems evolution, statistical natural language processing (NLP)
1	Daniel Schall 0002, Volker Hudlet, Theo Härder	Enhancing energy efficiency of database applications using SSDs.	C3S2E	2010	DBLP DOI BibTeX RDF
1	Shahram Shah-Heydari, Supreet Singh Baweja	Lightweight reliable overlay multicasting in large-scale P2P networks.	C3S2E	2010	DBLP DOI BibTeX RDF	service survivability, multicasting, overlay networks, peer-to-peer architecture
1	Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi	Towards a self-forensics property in the ASSL toolset.	C3S2E	2010	DBLP DOI BibTeX RDF	ASSL, JOOIP, forensic lucid, self-forensics, autonomic computing, GIPSY, forensic computing
1	Anthony Monnet, Roger Villemaire	Scalable formula decomposition for propositional satisfiability.	C3S2E	2010	DBLP DOI BibTeX RDF	scalability, SAT, tree decomposition, propositional satisfiability, DPLL
1	Normand Séguin, Alain Abran, Robert Dupuis	Software engineering principles: a survey and an analysis.	C3S2E	2010	DBLP DOI BibTeX RDF	fundamentals, software engineering principles, rules, concepts, laws
1	Emil Vassev, Mike Hinchey	Rapid prototyping and development of intelligent sensor networks with ASSL and DMF.	C3S2E	2010	DBLP DOI BibTeX RDF	ASSL, DMF, sensor networks, architecture, prototyping
1	Wookey Lee, Nidhi R. Arora, Tae-Chang Jo	Discover hierarchical subgraphs with network-topology based ranking score.	C3S2E	2010	DBLP DOI BibTeX RDF	graphs, ranking, network topology, keyword search, eigen values
1	Oualid Ktata, Ghislain Lévesque	Designing and implementing a measurement program for Scrum teams: what do agile developers really need and want?	C3S2E	2010	DBLP DOI BibTeX RDF	agile metrics, agile software process, Scrum, business value, measurement program, goal-question-metric
1	Bipin C. Desai, Carson Kai-Sang Leung, Sudhir P. Mudur (eds.)	Canadian Conference on Computer Science & Software Engineering, C3S2E 2010, Montreal, Quebec, Canada, May 19-20, 2010, Proceedings	C3S2E	2010	DBLP BibTeX RDF
1	Nicolas Robidoux, Minglun Gong, John Cupitt, Adam Turcotte, Kirk Martinez	CPU, SMP and GPU implementations of Nohalo level 1, a fast co-convex antialiasing image resampler.	C3S2E	2009	DBLP DOI BibTeX RDF	GEGL, HLSL, abyss policy, arithmetic branching, co-convex interpolation, fast image resampling, minmod limiter, natural and not-a-knot boundary conditions, nonlinear image filtering, quantitative comparison of image enlargement methods, video upsampling, benchmark, GPU, SMP, antialiasing, zooming, edge enhancement, VIPS
1	Volker Paelke, Karsten Nebe	Integrating usability engineering and software engineering in mixed reality system development.	C3S2E	2009	DBLP DOI BibTeX RDF	software engineering, mixed reality, usability engineering, development processes
1	Miao Song 0001, Peter Grogono	Application of advanced rendering and animation techniques for 3D games to softbody modeling and animation.	C3S2E	2009	DBLP DOI BibTeX RDF	real-time, frameworks, collision detection, deformation, physical-based modeling, OpenGL, elastic objects, soft-body
1	Jürgen Dingel, Karen Rudie, Christopher Dragert	Bridging the gap: Discrete-Event Systems for software engineering (short position paper).	C3S2E	2009	DBLP DOI BibTeX RDF	concurrency, model-driven development, control theory, discrete-event systems, automatic code generation
1	Yangjun Chen	General spanning trees and reachability query evaluation.	C3S2E	2009	DBLP DOI BibTeX RDF
1	Hasan Muhammad Naushin, Ziad Kobti	ACDL: a communication choreography for discrete step multi-agent social simulations.	C3S2E	2009	DBLP DOI BibTeX RDF	ACDL, discrete event simulation, agent communication, WS-CDL, artificial society
1	Yonatan Cohen, Jaroslav Opatrny	A local algorithm for dominating sets of quasi-unit disk graphs.	C3S2E	2009	DBLP DOI BibTeX RDF	quasi-unit disk graph, tiling, ad-hoc wireless network, local algorithm, dominating set, geometric graph
1	Joseph A. Brown, Sheridan K. Houghten, Daniel A. Ashlock	Edit metric decoding: a new hope.	C3S2E	2009	DBLP DOI BibTeX RDF	edit metric code, side effect machine, genetic algorithms, bioinformatics, finite state machine
1	Min Huang, Yuwei Feng, Bipin C. Desai	ConfSys2: an improved web-based multi-conference management system.	C3S2E	2009	DBLP DOI BibTeX RDF	academic conference, confsys, confsys2, multi conference, management, web based, conference
1	Melanie A. Veltman, Michael Wirth, JingBo Ni	Impediments to general purpose Content Based Image search.	C3S2E	2009	DBLP DOI BibTeX RDF	information retrieval, computer vision, image processing, image analysis, semantic gap, visual similarity
1	Fei Zhao, Sanzheng Qiao	Radius selection algorithms for sphere decoding.	C3S2E	2009	DBLP DOI BibTeX RDF	Babai estimate radius, closest lattice point, integer least squares, numerical error, improvement, sphere decoding
1	Behzad Sajed Khosrowshahi, Peter Graham	Component placement and location for a dynamic software composition system.	C3S2E	2009	DBLP DOI BibTeX RDF	component location, component placement, service composition, software components
1	Tao Xu, Iker Gondra	Texture map: an effective representation for image segmentation.	C3S2E	2009	DBLP DOI BibTeX RDF	segmentation, texture, representation, image, feature
1	Farhana Eva Alam, Joerg Evermann, Adrian Fiech	Modeling for dynamic aspect-oriented evelopment.	C3S2E	2009	DBLP DOI BibTeX RDF	aspect-oriented programming, aspect-oriented modeling, dynamic AOP
1	Girish K. Jha, Sameer Kumar 0005, Hari Prasain, Parimala Thulasiraman, Ruppa K. Thulasiram	Option pricing using Particle Swarm Optimization.	C3S2E	2009	DBLP DOI BibTeX RDF	Black-Scholes, particle swarm optimization, swarm intelligence, option pricing, computational finance
1	Tongyuan Wang, Bipin C. Desai	Issues in pattern mining and their resolutions.	C3S2E	2009	DBLP DOI BibTeX RDF	probability anomaly, data mining, reliability, sampling, overfitting, frequency distribution
1	Pedro Maroun Eid, Sudhir P. Mudur	Use of semantic web technology for adding 3D detail to GIS landscape data.	C3S2E	2009	DBLP DOI BibTeX RDF	3D GIS detail, landscape visualization, semantic web, automated reasoning
1	Bipin C. Desai, Carson Kai-Sang Leung, Olga Ormandjieva (eds.)	Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings	C3S2E	2009	DBLP BibTeX RDF
1	Jarmanjit Singh, Qing Shi, Harpreet Sandhu, Benjamin C. M. Fung	Anonymizing location-based RFID data.	C3S2E	2009	DBLP DOI BibTeX RDF	appendage, dummy record, suppression, privacy, anonymity
1	Serguei A. Mokhov, Emil Vassev	Autonomic specification of self-protection for distributed MARF with ASSL.	C3S2E	2009	DBLP DOI BibTeX RDF	autonomic system specification language (ASSL), distributed modular audio recognition framework (DMARF), pattern recognition, autonomic computing, self-protection
1	Emil Vassev, Serguei A. Mokhov	An ASSL-generated architecture for autonomic systems.	C3S2E	2009	DBLP DOI BibTeX RDF	ASSL, architecture, code generation, autonomic computing
1	Mauricio Vines, Javier Mora 0002, Won-Sook Lee	Real-time haptic display of fluids.	C3S2E	2009	DBLP DOI BibTeX RDF	simulation, haptics, fluids, computer interfaces
1	Serguei A. Mokhov, Joey Paquet, Xin Tong 0002	A type system for hybrid intensional-imperative programming support in GIPSY.	C3S2E	2009	DBLP DOI BibTeX RDF	context, type system, intensional programming, imperative programming, general intensional programming system (GIPSY)
1	Youssef Bououlid Idrissi, Julie Vachon	An adaptive multi-strategy approach for semantic mapping.	C3S2E	2009	DBLP DOI BibTeX RDF	multi-strategy, semantic web, adaptability, mapping, semantic matching, adaptive approaches
1	Miao Song 0001, Serguei A. Mokhov, Peter Grogono	Designing an interactive OpenGL slide-based presentation of the softbody simulation system for teaching and learning of computer graphics techniques.	C3S2E	2009	DBLP DOI BibTeX RDF	softbody, real-time, education, frameworks, physical-based modeling, presentation, OpenGL
1	Hovhannes A. Harutyunyan, George Laza, Edward Maraachlian	Broadcasting in necklace graphs.	C3S2E	2009	DBLP DOI BibTeX RDF	necklace graphs, algorithms, broadcasting
1	Karsten Schmidt 0002, Yi Ou, Theo Härder	The promise of solid state disks: increasing efficiency and reducing cost of DBMS processing.	C3S2E	2009	DBLP DOI BibTeX RDF	DBMS storage, TCO, XML mapping, energy efficiency, SSD
1	Oualid Ktata, Ghislain Lévesque	Agile development: issues and avenues requiring a substantial enhancement of the business perspective in large projects.	C3S2E	2009	DBLP DOI BibTeX RDF	scrum and business modeling, software valuation, requirements engineering, project management, decision making, agile development, goal oriented approaches
1	Yangjun Chen, Donovan Cooke	XPath query evaluation based on the stack encoding.	C3S2E	2009	DBLP DOI BibTeX RDF	XML pattern matching, twig joins, trees, XML databases, paths
1	Nima Sharifimehr, Samira Sadaoui	Markovian workload modeling for Enterprise Application Servers.	C3S2E	2009	DBLP DOI BibTeX RDF	JOnAS J2EE, enterprise application servers, semi and dynamic Markov models, workload modeling
1	Parag C. Pendharkar	An automated procedure for identifying poorly documented object oriented software components.	C3S2E	2009	DBLP DOI BibTeX RDF	automated reasoning techniques, testing, software testing, software maintenance, reuse, program understanding, component-based systems, maintenance and evolution, documentation systems
1	Rui Chen 0012, Alirio Perez, Krishma Dutta, Bipin C. Desai	CINDI: a digital library for academics.	C3S2E	2009	DBLP DOI BibTeX RDF	semantic header, virtual question answering, information retrieval, digital library
1	Matthias Tilsner, Adrian Fiech, Thomas Specht	Integrating heterogeneous user interfaces in service oriented web applications.	C3S2E	2009	DBLP DOI BibTeX RDF	GUI integration, service-oriented architecture (SOA), software as a service, component software
1	Bijan Bassiri, Shahram Shah-Heydari	Network survivability in large-scale regional failure scenarios.	C3S2E	2009	DBLP DOI BibTeX RDF	large-scale failures, mesh survivable networks, traffic restoration, failure recovery, network survivability
1	Manar H. Alalfi, James R. Cordy, Thomas R. Dean	A verification framework for access control in dynamic web applications.	C3S2E	2009	DBLP DOI BibTeX RDF

Publications at "C3S2E"( http://dblp.L3S.de/Venues/C3S2E )