Search results for "specialization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Vincent Lucquiaud	Proposition d'un noyau et d'une structure pour les modèles de tâches orientés utilisateurs.	IHM	2005	DBLP DOI BibTeX RDF	user task analysis, models, tools, kernel
8	Arnaud Soulet, Bruno Crémilleux	Exploiting Virtual Patterns for Automatically Pruning the Search Space.	KDID	2005	DBLP DOI BibTeX RDF	virtual patterns, pruning conditions, constraint-based mining
8	Chunsheng Yang	Initial probe on the development of e-commerce.	ICEC	2005	DBLP DOI BibTeX RDF	e-commerce, development
8	Jianyuan Yan, Ou Yuan	Study on strategic grouping of electronic commercial industry.	ICEC	2005	DBLP DOI BibTeX RDF	e-commerce industry, shifting barrier, strategic group, strategic grouping
8	Joseph M. Shapiro, Gary B. Lamont, Gilbert L. Peterson	An evolutionary algorithm to generate hyper-ellipsoid detectors for negative selection.	GECCO	2005	DBLP DOI BibTeX RDF	computational geometry, evolutionary computation, artificial immune systems, negative selection
8	Olaf Ronneberger, Janis Fehr, Hans Burkhardt	Voxel-Wise Gray Scale Invariants for Simultaneous Segmentation and Classification.	DAGM-Symposium	2005	DBLP DOI BibTeX RDF
8	Ali Erdem Özcan, Oussama Layaida, Jean-Bernard Stefani	A Component-based Approach for MPSoC SW Design: Experience with OS Customization for H.264 Decoding.	ESTIMedia	2005	DBLP DOI BibTeX RDF
8	Cécile Germain-Renaud, Dephine Monnier-Ragaigne	Grid result checking.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	simulation, grids, result checking
8	Michael Priestley	DITA authoring.	SIGDOC	2005	DBLP DOI BibTeX RDF	XML, documentation, DITA
8	Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa	Probabilistic First-Order Theory Revision from Examples.	ILP	2005	DBLP DOI BibTeX RDF
8	Kwang-Kyu Seo, Sung-Hwan Min, Hun-Woo Yoo	Artificial Neural Network Based Life Cycle Assessment Model for Product Concepts Using Product Classification Method.	ICCSA (4)	2005	DBLP DOI BibTeX RDF
8	Wenjun Wang 0002, Yingwei Luo, Xinpeng Liu, Xiaolin Wang 0001, Zhuoqun Xu	Ontological Model of Event for Integration of Inter-organization Applications.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
8	Stuart Harvey Rubin, Marion G. Ceruti	Intelligent component-centric programming.	IRI	2005	DBLP DOI BibTeX RDF
8	Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk	Functional and Non-Functional Properties in a Family of Embedded Operating Systems.	WORDS	2005	DBLP DOI BibTeX RDF
8	Augusto Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante	Software test program: a software residency experience.	ICSE	2005	DBLP DOI BibTeX RDF	software residency, training experience, software engineering
8	Jin-Tan David Yang, Wu Lin Lee, Chun-Yen Tsai	A Web-Based Bookmark Tool with Ontological Approach for Knowledge Sharing of Special Interest Groups.	AINA	2005	DBLP DOI BibTeX RDF
8	Dmitry A. Vazhenin, Alexander Vazhenin, Ying-Hong Wang	WEB-Based Environment for Programming and Distance Learning.	AINA	2005	DBLP DOI BibTeX RDF
8	Georges Dupret, Marcelo Mendoza	Recommending Better Queries from Click-Through Data.	SPIRE	2005	DBLP DOI BibTeX RDF
8	Seung Yeol Yoo, Achim G. Hoffmann	Knowledge-Level Management of Web Information.	APWeb	2005	DBLP DOI BibTeX RDF
8	Val Jones 0001, Arend Rensink, Ed Brinksma	Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise..	EDOC	2005	DBLP DOI BibTeX RDF
8	Nezamoddin Nezamoddini-Kachouie, Paul W. Fieguth, John Ramunas, Eric Jervis	A Model-Based Hematopoietic Stem Cell Tracker.	ICIAR	2005	DBLP DOI BibTeX RDF
8	Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski	Color-Blind Specifications for Transformations of Reactive Synchronous Programs.	FASE	2005	DBLP DOI BibTeX RDF
8	Philippe Pitteloud	Chromatic Polynomials and the Symmetric Group.	Graphs Comb.	2004	DBLP DOI BibTeX RDF
8	Uwe Glässer, Yuri Gurevich, Margus Veanes	Abstract Communication Model for Distributed Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
8	Michael D. McCool, Stefanus Du Toit, Tiberiu Popa, Bryan Chan, Kevin Moule	Shader algebra.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	shader programming, graphics hardware, real-time rendering
8	Uwe Kastens, Dinh Khoi Le, Adrian Slowik, Michael Thies	Feedback driven instruction-set extension.	LCTES	2004	DBLP DOI BibTeX RDF	simulator generation, encryption, network processor, codesign, instruction-set extensions, compiler generation
8	Søren Debois	Imperative program optimization by partial evaluation.	PEPM	2004	DBLP DOI BibTeX RDF	loop-invariant code motion, bisimulation, strength reduction, code duplication
8	Jekanthan Thangavelautham, Gabriele M. T. D'Eleuterio	A Neuroevolutionary Approach to Emergent Task Decomposition.	PPSN	2004	DBLP DOI BibTeX RDF
8	Scott B. Baden	Trends in Large Scale Computing: An Introduction.	PARA	2004	DBLP DOI BibTeX RDF
8	Ramon Canal, Antonio González 0001, James E. Smith 0001	Software-Controlled Operand-Gating.	CGO	2004	DBLP DOI BibTeX RDF
8	Ricardo Ñanculef, Carlos Concha, Claudio Moraga, Héctor Allende	Multiresolution Fuzzy Rule Systems.	Fuzzy Days	2004	DBLP DOI BibTeX RDF	Fuzzy Rule Systems, Rules Hierarchies, Learning Algorithms, Multiresolution Analysis
8	Hongyan Mao, Linpeng Huang, Yongqiang Sun	Optimizing Web Services with Partial Evaluation.	CIT	2004	DBLP DOI BibTeX RDF
8	Dachuan Yu, Andrew Kennedy, Don Syme	Formalization of generics for the .NET common language runtime.	POPL	2004	DBLP DOI BibTeX RDF	CLR, run-time types, generics, polymorphism, NET
8	A. Peter Blicher, Sébastien Roy 0001, Penio S. Penev	LightSphere: Fast Lighting Compensation for Matching a 2D Image to a 3D Model.	ICPR (2)	2004	DBLP DOI BibTeX RDF
8	Laurence Melloul, Armando Fox	Reusable Functional Composition Patterns for Web Services.	ICWS	2004	DBLP DOI BibTeX RDF
8	Yasemin Yalçinkaya, Trond Steihaug	Reducing the Deteriorating Effect of Old History in Asynchronous Iterations.	Euro-Par	2004	DBLP DOI BibTeX RDF
8	George A. Constantinides, Abunaser Miah, Nalin Sidahao	Word-Length Optimization of Folded Polynomial Evaluation.	FCCM	2004	DBLP DOI BibTeX RDF
8	Madhavi Ganapathiraju, Narayanas Balakrishnan, Raj Reddy, Judith Klein-Seetharaman	Computational Biology and Language.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
8	Dawei Ding 0003, Qing Li 0001, Jun Yang 0003	Multimedia Data Integration and Navigation through MediaView: Implementation, Evolution and Utilization.	DASFAA	2004	DBLP DOI BibTeX RDF	MediaView, probabilistic tree, database navigation, multimedia integration
8	Michal Antkiewicz, Krzysztof Czarnecki 0001	FeaturePlugin: feature modeling plug-in for Eclipse.	eTX	2004	DBLP DOI BibTeX RDF	variability modeling and management, software reuse, software-product lines, configuration, domain analysis, system families
8	Toon Goedemé, Tinne Tuytelaars, Luc Van Gool	Fast Wide Baseline Matching for Visual Navigation.	CVPR (1)	2004	DBLP DOI BibTeX RDF
8	Nathan Linger, Tim Sheard	Binding-Time Analysis for MetaML via Type Inference and Constraint Solving.	TACAS	2004	DBLP DOI BibTeX RDF
8	Yogesh Deshpande	Web Engineering Curriculum: A Case Study of an Evolving Framework.	ICWE	2004	DBLP DOI BibTeX RDF
8	Mark A. Franklin, Roger D. Chamberlain, Michael Henrichs, E. F. Berkley Shands, Jason White	An Architecture for Fast Processing of Large Unstructured Data Sets.	ICCD	2004	DBLP DOI BibTeX RDF
8	Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun	Precise Modeling of Design Patterns in UML.	ICSE	2004	DBLP DOI BibTeX RDF
8	Oualid Jouini, Yves Dallery, Rabie Nait-Abdallah	Stochastic Models of Customer Portfolio Management in Call Centers.	OR	2004	DBLP DOI BibTeX RDF
8	Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi, Davide Patti	Multi-objective Optimization of a Parameterized VLIW Architecture.	Evolvable Hardware	2004	DBLP DOI BibTeX RDF
8	Roger S. Barga, Jing Shan	Flexible Coordination of E-Services.	TES	2004	DBLP DOI BibTeX RDF
8	Gregorio Robles, Jesús M. González-Barahona	Executable Source Code and Non-Executable Source Code: Analysis and Relationships.	SCAM	2004	DBLP DOI BibTeX RDF
8	Hazem Said, Louise Chaytor, Daniel Humpert, John Nyland, Robert Schlemmer, Mark Stockman, Chris Christopherson, Patrick Kumpf, Annu Prabhakar, Vali Tadayon, Soleda Leung, Sam Geonetta, Russell E. McMahon, Tamisra Sanyal, Tom Wulf	An implementation of a core curriculum in an information technology degree program.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	database, networking, information technology, software, curriculum, web technologies
8	Mark Stockman, Louise Chaytor, Daniel Humpert, John Nyland, Robert Schlemmer, Hazem Said, Chris Christopherson, Patrick Kumpf, Annu Prabhakar, Vali Tadayon, Soleda Leung, Sam Geonetta, Russell E. McMahon, Tamisra Sanyal, Tom Wulf	An implementation of secondary tracks in an information technology degree program.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	database, networking, information technology, software, curriculum, web technologies
8	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	Efficient Local Unfolding with Ancestor Stacks for Full Prolog.	LOPSTR	2004	DBLP DOI BibTeX RDF
8	Michael Colón	Schema-Guided Synthesis of Imperative Programs by Constraint Solving.	LOPSTR	2004	DBLP DOI BibTeX RDF
8	Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey	A Generic Framework for Context-Sensitive Analysis of Modular Programs.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
8	Hasan Abbasi, Matthew Wolf, Karsten Schwan, Greg Eisenhauer, A. Hilton	XChange: coupling parallel applications in a dynamic environment.	CLUSTER	2004	DBLP DOI BibTeX RDF
8	Evelyne Hubert	Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases.	ISSAC	2004	DBLP DOI BibTeX RDF	differential elimination, differential ideal theory, subresultant polynomial remainder sequence, systems of differential equations, triangular sets
8	Avraham Leff, James T. Rayfield, Daniel M. Dias	Service-Level Agreements and Commercial Grids.	IEEE Internet Comput.	2003	DBLP DOI BibTeX RDF	Commercial grid, dynamic offload, autonomic computing, service level agreements, SLA
8	Paris Avgeriou, Symeon Retalis, Nikolaos Papaspyrou	Modeling learning technology systems as business systems.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Learning technology system, Web-based learning systems, Open and distance learning, Learning technology systems architecture, Unified modeling language, e-learning, Business model, Rational unified process
8	Kai Richter 0001, Marek Jersak, Rolf Ernst	A Formal Approach to MpSoC Performance Verification.	Computer	2003	DBLP DOI BibTeX RDF
8	Renato Fileto, Ling Liu 0001, Calton Pu, Eduardo Delgado Assad, Claudia Bauzer Medeiros	POESIA: An ontological workflow approach for composing Web services in agriculture.	VLDB J.	2003	DBLP DOI BibTeX RDF	Semantics of data and processes, Composition of Web services, Ontologies, Semantic Web, Data integration
8	Marcin Zalewski, Sibylle Schupp	A Polymorphic Radix- n Framework for Fast Fourier Transforms.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
8	Robert Glück	The Translation Power of the Futamura Projections.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
8	Ulf Norell, Patrik Jansson	Polytypic Programming in Haskell.	IFL	2003	DBLP DOI BibTeX RDF
8	Jesús Contreras, Marta Poblet	NetCase: An Intelligent System to Assist Legal Services Providers in Transnational Legal Networks.	Law and the Semantic Web	2003	DBLP DOI BibTeX RDF
8	Geoff Nitschke	Emergence of Specialized Behavior in a Pursuit-Evasion Game.	CEEMAS	2003	DBLP DOI BibTeX RDF
8	Raffaele Giancarlo, Marinella Sciortino	Optimal Partitions of Strings: A New Class of Burrows-Wheeler Compression Algorithms.	CPM	2003	DBLP DOI BibTeX RDF
8	Doron Cohen, Michal Jacovi, Michael Herscovici, Yoëlle S. Maarek, Noga Meshulam, Aya Soffer, Vladimir Soroka	Leveraging Web Services for Information Discovery.	SwSTE	2003	DBLP DOI BibTeX RDF	Web Services, User Interfaces, Search
8	Antoni Olivé	Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages.	ER	2003	DBLP DOI BibTeX RDF
8	Erika Horn, Mario Kupries	A Study Program for Professional Software Engineering.	CSEE&T	2003	DBLP DOI BibTeX RDF
8	David A. Basin, Jürgen Doser, Torsten Lodderstedt	Model driven security for process-oriented systems.	SACMAT	2003	DBLP DOI BibTeX RDF	UML, RBAC, model driven architecture, metamodeling, security engineering
8	Ningchuan Xiao, Marc P. Armstrong	A Specialized Island Model and Its Application in Multiobjective Optimization.	GECCO	2003	DBLP DOI BibTeX RDF
8	Ferruccio Damiani	Rank 2 intersection types for modules.	PPDP	2003	DBLP DOI BibTeX RDF	type inference, separate compilation, principal typings
8	David Larkin 0001	Semi-independent Partitioning: A Method for Bounding the Solution to COP's.	CP	2003	DBLP DOI BibTeX RDF
8	Douglas Niehaus, David Andrews 0001	Using the Multi-Threaded Computation Model as a Unifying Framework for Hardware-Software Co-Design and Implementation.	WORDS Fall	2003	DBLP DOI BibTeX RDF
8	Kaizar Amin, Gregor von Laszewski, Armin R. Mikler	Grid Computing for the Masses: An Overview.	GCC (2)	2003	DBLP DOI BibTeX RDF
8	Hongyan Mao, Linpeng Huang, Yongqiang Sun	Partially Evaluating Grid Services by DJmix.	GCC (1)	2003	DBLP DOI BibTeX RDF
8	Daniela Micucci, Francesco Tisato, Andrea Trentini	A Connector-Based Approach for Controlled Data Distribution in RTP Architecture.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
8	Christoph Bussler	The Role of B2B Engines in B2B Integration Architectures.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
8	Paul Renteln	The Hilbert Series of the Face Ring of a Flag Complex.	Graphs Comb.	2002	DBLP DOI BibTeX RDF
8	Ryan Kastner, Adam Kaplan, Seda Ogrenci Memik, Elaheh Bozorgzadeh	Instruction generation for hybrid reconfigurable systems.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	FPGA, high-level synthesis, reconfigurable computing
8	Keith Duddy	UML2 must enable a family of languages.	Commun. ACM	2002	DBLP DOI BibTeX RDF	UML
8	Peter Achten, Artem Alimarine, Marinus J. Plasmeijer	When Generic Functions Use Dynamic Values.	IFL	2002	DBLP DOI BibTeX RDF
8	Sriharsha Veeramachaneni, George Nagy	Classifier Adaptation with Non-representative Training Data.	Document Analysis Systems	2002	DBLP DOI BibTeX RDF
8	Michel Dao, Marianne Huchard, Thérèse Libourel, Cyril Roume, Hervé Leblanc	A New Approach to Factorization - Introducing Metrics.	IEEE METRICS	2002	DBLP DOI BibTeX RDF
8	Dana N. Xu, Siau-Cheng Khoo	Compiling real time functional reactive programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	partial evaluation, reactive system, tupling
8	Craig Chambers	Staged compilation.	PEPM	2002	DBLP DOI BibTeX RDF
8	Antonio Chella, Massimo Cossentino, Roberto Pirrone, Andrea Ruisi	Modeling ontologies for robotic environments.	SEKE	2002	DBLP DOI BibTeX RDF	ontologies, multi agent systems, robotics
8	Srdjan Coric, Miriam Leeser, Eric L. Miller 0001, Marc Trepanier	Parallel-beam backprojection: an FPGA implementation optimized for medical imaging.	FPGA	2002	DBLP DOI BibTeX RDF	Viterbi coding, FPGA, dynamic reconfiguration
8	Dusko Pavlovic, Douglas R. Smith	Guarded Transitions in Evolving Specifications.	AMAST	2002	DBLP DOI BibTeX RDF
8	Patrick Cousot, Radhia Cousot	Systematic design of program transformation frameworks by abstract interpretation.	POPL	2002	DBLP DOI BibTeX RDF
8	Hyon Hee Kim, Seung-Soo Park	Semantic Integration of Heterogeneous XML Data Sources.	OOIS	2002	DBLP DOI BibTeX RDF
8	Paulo Salles, Bert Bredeweg, Symone C. S. Araújo, Walter Neto	Qualitative Models of Interactions between Two Populations.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
8	Tarmo Uustalu	Monad Translating Inductive and Coinductive Types.	TYPES	2002	DBLP DOI BibTeX RDF
8	Cristina Gómez 0001, Antoni Olivé	Evolving Partitions in Conceptual Schemas in the UML.	CAiSE	2002	DBLP DOI BibTeX RDF
8	Plamen L. Simeonov	The Viator Approach: About Four Principles of Autopoietic Growth on the Way to Future Hyperactive Network Architectures.	IPDPS	2002	DBLP DOI BibTeX RDF	multimedia architecture, mobility, reconfigurable computing, adaptive systems, active networks, autopoiesis
8	Neil D. Jones, Arne J. Glenstrup	Program Generation, Termination, and Binding-Time Analysis.	GPCE	2002	DBLP DOI BibTeX RDF
8	Emir Pasalic, Walid Taha, Tim Sheard	Tagless staged interpreters for typed languages.	ICFP	2002	DBLP DOI BibTeX RDF	calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming
8	Masahiro Hori, Kouichi Ono, Teruo Koyanagi, Mari Abe	Annotation by Transformation for the Automatic Generation of Content Customization Metadata.	Pervasive	2002	DBLP DOI BibTeX RDF
8	Chin Soon Lee	Finiteness Analysis in Polynomial Time.	SAS	2002	DBLP DOI BibTeX RDF
8	Svetla Boytcheva	ILP Techniques for Free-Text Input Processing.	AIMSA	2002	DBLP DOI BibTeX RDF	Free-text input, Natural Language Processing, Inductive Logic Programming