Search results for "specialization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Neil D. Jones, Arne J. Glenstrup	Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis.	PPDP	2002	DBLP DOI BibTeX RDF
8	Kamel Barkaoui, Ph. Dechambre, R. Hachicha	Verification and Optimisation of an Operating Room Workflow.	HICSS	2002	DBLP DOI BibTeX RDF	hospital organisations, workflow, business process reengineering, shared resources
8	Kweku-Muata Bryson, William E. Sullivan	Designing Effective Incentive-Oriented Outsourcing Contracts for ERP Systems.	HICSS	2002	DBLP DOI BibTeX RDF
8	Tsai-Yun Liao, Ta-Yin Hu	A CORBA-Based GIS-T for Ambulance Assignment.	ASAP	2002	DBLP DOI BibTeX RDF
8	Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque	Mobile Agent Programming for Clusterswith Parallel Skeletons.	VECPAR	2002	DBLP DOI BibTeX RDF
8	Sashikumar Venkataraman, Milind A. Sohoni	Reconstruction of feature volumes and feature suppression.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	Geometric Interrogations and Reasoning, Manufacturing and Assembly Planning, Computational Geometry, Collision Detection
8	Christoph Bussler	Public Process Inheritance for Business-to-Business Integration.	TES	2002	DBLP DOI BibTeX RDF
8	Antonio Molina, Ferran Pla, Encarna Segarra	A Hidden Markov Model Approach to Word Sense Disambiguation.	IBERAMIA	2002	DBLP DOI BibTeX RDF
8	Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song	Using Role-Based Modeling Language (RBML) to Characterize Model Families.	ICECCS	2002	DBLP DOI BibTeX RDF	Object-oriented design models, role-based modeling language, UML, software reuse
8	Rainer Osswald	Assertions, Conditionals, and Defaults.	WCII	2002	DBLP DOI BibTeX RDF
8	Marcel Erné	Ideal Completions and Compactifications.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	Cauchy filter, compactification, (quasi-)uniform space, (ordered) topological space, (strongly) sober, totally (order-) separated, completion, core, ideal
8	Calton Pu, Karsten Schwan, Jonathan Walpole	Infosphere Project: System Support for Information Flow Applications.	SIGMOD Rec.	2001	DBLP DOI BibTeX RDF
8	Scott Hamilton	Thinking Outside the Box at IHMC.	Computer	2001	DBLP DOI BibTeX RDF
8	Markus Weinhardt, Wayne Luk	Pipeline vectorization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
8	Pasquale Foggia, Roberto Genna, Mario Vento	Symbolic vs. Connectionist Learning: An Experimental Comparison in a Structured Domain.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	Symbolic learning, connectionist systems, prototype learning, machine learning, attributed relational graph, structural description
8	Sinisa T. Vrecica, Rade T. Zivaljevic	Conical Equipartitions of Mass Distributions.	Discret. Comput. Geom.	2001	DBLP DOI BibTeX RDF
8	Alvaro Soto, Pradeep K. Khosla	Probabilistic Adaptive Agent Based System for Dynamic State Estimation using Multiple Visual Cues.	ISRR	2001	DBLP DOI BibTeX RDF
8	H. Van Dyke Parunak, James Odell	Representing social structures in UML.	Agents	2001	DBLP DOI BibTeX RDF	AALAADIN, holarchy, UML, UML, protocols, dependencies, organizations, AUML
8	Luigi P. Cordella, Pasquale Foggia, Carlo Sansone, Francesco Tortorella, Mario Vento	Prototyping Structural Shape Descriptions by Inductive Learning.	IWVF	2001	DBLP DOI BibTeX RDF
8	Chiewon Lee, Junghwan Kim, Jerrold F. Stach, Eun Kyo Park	Simulating Agent Based Processing in an ADS Using C++ SIM.	ISADS	2001	DBLP DOI BibTeX RDF	Distributed Computing, Mobile Agent, Task Assignment, Object-Oriented Simulation
8	Scott A. Watterson, Saumya K. Debray	Goal-Directed Value Profiling.	CC	2001	DBLP DOI BibTeX RDF
8	Ulrich Frank	Modeling Products for Versatile E-commerce Platforms - Essential Requirements and Generic Design Alternatives.	ER (Workshops)	2001	DBLP DOI BibTeX RDF
8	W. David Kelton	Some Modest Proposals for Simulation Software: Design and Analysis of Experiments.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
8	W. David Kelton	Some Modest Proposals for Simulation Software: Design and Analysis of Experiments.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
8	Matthieu Martel, Marc Gengler	Partial Evaluation of Concurrent Programs.	Euro-Par	2001	DBLP DOI BibTeX RDF	Partial Evaluation, Control Flow Analysis, Concurrent Languages, Binding-time Analysis
8	Todd Krupa	Triple play: delivering effective & key communication.	SIGUCCS	2001	DBLP DOI BibTeX RDF	editorial, propaganda, communication, marketing, advertising, news, promotional, public relations
8	Julia L. Lawall	Implementing Circularity Using Partial Evaluation.	PADO	2001	DBLP DOI BibTeX RDF
8	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Deriving Pre-conditions for Array Bound Check Elimination.	PADO	2001	DBLP DOI BibTeX RDF
8	Walid Taha, Henning Makholm, John Hughes 0001	Tag Elimination and Jones-Optimality.	PADO	2001	DBLP DOI BibTeX RDF
8	Leo J. De Vin, Mats Jägstam	Why we need to offer a modeling and simulation engineering curriculum.	WSC	2001	DBLP DOI BibTeX RDF
8	Robert Baumgartner, Sergio Flesca, Georg Gottlob	Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto.	LPNMR	2001	DBLP DOI BibTeX RDF
8	Andrew Kennedy, Don Syme	Design and Implementation of Generics for the .NET Common Language Runtime.	PLDI	2001	DBLP DOI BibTeX RDF
8	Joseph F. Hart, Thomas S. Ray, Katsunori Shimohara	Evolution of New Tissues thruogh Gene Duplication and Divergence In Multihreaded Digital Organisms.	ICME	2001	DBLP DOI BibTeX RDF
8	Johann Eder, Walter Strametz	Composition of XML-Transformations.	EC-Web	2001	DBLP DOI BibTeX RDF	heterogeneous information systems, XML, e-commerce
8	Guillaume Texier, Fabrice Depaulis, Laurent Guittet	End-User Class Definition in CAD Systems.	HCC	2001	DBLP DOI BibTeX RDF
8	Rina Dechter, Kalev Kask, Javier Larrosa	A General Scheme for Multiple Lower Bound Computation in Constraint Optimization.	CP	2001	DBLP DOI BibTeX RDF
8	Alvaro Soto, Pradeep K. Khosla	Adaptive Agent Based System for State Estimation Using Dynamic Multidimensional Information Sources.	IWSAS	2001	DBLP DOI BibTeX RDF
8	Doheon Lee, Mina Jeong, Yong-Kwan Won	Decision Trees for Multiple Abstraction Levels of Data.	CIA	2001	DBLP DOI BibTeX RDF
8	Manfred Schmidt-Schauß	Stratified Context Unification Is in PSPACE.	CSL	2001	DBLP DOI BibTeX RDF
8	H. Van Dyke Parunak, James Odell	Representing Social Structures in UML.	AOSE	2001	DBLP DOI BibTeX RDF
8	Michael F. Goodchild	A Geographer Looks at Spatial Information Theory.	COSIT	2001	DBLP DOI BibTeX RDF
8	José Galindo, Angélica Urrutia, Ramón Alberto Carrasco, Mario Piattini	Fuzzy Constraints using the Enhanced Entity-Relationship Model.	SCCC	2001	DBLP DOI BibTeX RDF	Conceptual Database Design, Fuzzy Conceptual Modeling, Extended (or Enhanced) Entity-Relationship Model, Fuzzy Databases, Fuzzy Constraints
8	Andrey Kostogryzov	Modeling Software Tools Complex for Evaluation of Information Systems Operation Quality (CEISOQ).	MMM-ACNS	2001	DBLP DOI BibTeX RDF
8	Mik Lamming, Margery Eldridge, Mike Flynn, Chris Jones 0001, David Pendlebury	Satchel: providing access to any document, any time, anywhere.	ACM Trans. Comput. Hum. Interact.	2000	DBLP DOI BibTeX RDF	document appliance, mobile computing, document processing, information appliance, mobile work, document access
8	John F. Canny, Ioannis Z. Emiris	A subdivision-based algorithm for the sparse resultant.	J. ACM	2000	DBLP DOI BibTeX RDF	Newton polytope, effective Nullstellensatz, mixed volume, multivariate resultant, polyhedral subdivision, sparse elimination theory, asymptotic complexity
8	Michael Sperber, Peter Thiemann 0001	Generation of LR parsers by partial evaluation.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	functional programming, continuations, partial evaluation, parser generation, LR parsing
8	Elvira Albert, Michael Hanus, Germán Vidal	Using an Abstract Representation to Specialize Functional Logic Programs.	LPAR	2000	DBLP DOI BibTeX RDF
8	Eijiro Sumii, Naoki Kobayashi 0001	Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract).	PEPM	2000	DBLP DOI BibTeX RDF
8	Mathias Braux, Jacques Noyé	Towards Partially Evaluating Reflection in Java.	PEPM	2000	DBLP DOI BibTeX RDF
8	Martin V. Butz, David E. Goldberg, Wolfgang Stolzmann	Investigating Generalization in the Anticipatory Classifier System.	PPSN	2000	DBLP DOI BibTeX RDF
8	Manas Saksena, Panagiota Karvelas	Designing for schedulability: integrating schedulability analysis with object-oriented design.	ECRTS	2000	DBLP DOI BibTeX RDF
8	Niall Griffith, Derek Partridge	Self-Organizing Decomposition of Functions in the Context of a Unified Framework for Multiple Classifier Systems.	Multiple Classifier Systems	2000	DBLP DOI BibTeX RDF
8	Markus Stumptner, Michael Schrefl	Behavior Consistent Inheritance in UML.	ER	2000	DBLP DOI BibTeX RDF
8	Liisa von Hellens, Rosemary Pringle, Sue H. Nielsen, Anita Greenhill	People, business and IT skills: the perspective of women in the IT industry.	SIGCPR	2000	DBLP DOI BibTeX RDF	industry's IT skill requirements, women's perspective
8	Kostas Magoutis, José Carlos Brustoloni, Eran Gabber, Wee Teck Ng, Abraham Silberschatz	Building appliances out of components using Pebble.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF
8	Cameron Patterson	High Performance DES Encryption in Virtex(tm) FPGAs Using Jbits(tm).	FCCM	2000	DBLP DOI BibTeX RDF
8	Eric Meyer, Thomas Santen	Behavioral Conformance Verification in an Integrated Approach Using UML and B.	IFM	2000	DBLP DOI BibTeX RDF
8	Pierre Gérard, Olivier Sigaud	YACS: Combining Dynamic Programming with Generalization in Classifier Systems.	IWLCS	2000	DBLP DOI BibTeX RDF
8	Svetla Boytcheva	Least Generalization under Relative Implication.	AIMSA	2000	DBLP DOI BibTeX RDF
8	Cheryl Geisler, Edwin H. Rogers	Technological mediation for design collaboration.	SIGDOC	2000	DBLP BibTeX RDF
8	Marina De Vos, Dirk Vermeir	A Logic for Modeling Decision Making with Dynamic Preferences.	JELIA	2000	DBLP DOI BibTeX RDF
8	Luke Hornof	Self-Specializing Mobile Code for Adaptive Network Services.	IWAN	2000	DBLP DOI BibTeX RDF
8	Joachim Herbst	A Machine Learning Approach to Workflow Management.	ECML	2000	DBLP DOI BibTeX RDF
8	Klaus-Dieter Schewe	Controlled Automation of Consistency Enforcement.	ASE	2000	DBLP DOI BibTeX RDF
8	Marianne Huchard, Hervé Leblanc	Computing Interfaces in Java.	ASE	2000	DBLP DOI BibTeX RDF
8	Alberto Abelló, José Samos, Fèlix Saltor	Benefits of an Object-Oriented Multidimensional Data Model.	Objects and Databases	2000	DBLP DOI BibTeX RDF	Semantics, Object-Oriented Data Model, Multidimensionality, Data Marts
8	Cameron Patterson	A Dynamic FPGA Implementation of the Serpent Block Cipher.	CHES	2000	DBLP DOI BibTeX RDF
8	Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey	A Model for Inter-module Analysis and Optimizing Compilation.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
8	Kenneth A. Ross, Kazi A. Zaman	Optimizing Selections over Datacubes.	SSDBM	2000	DBLP DOI BibTeX RDF	Datacubes
8	Paolo Faraboschi, Geoffrey Brown, Joseph A. Fisher, Giuseppe Desoli, Fred Homewood	Lx: a technology platform for customizable VLIW embedded processing.	ISCA	2000	DBLP DOI BibTeX RDF
8	Rakesh Agrawal 0001, Roberto J. Bayardo Jr., Ramakrishnan Srikant	Athena: Mining-Based Interactive Management of Text Database.	EDBT	2000	DBLP DOI BibTeX RDF
8	Pasquale Foggia, Roberto Genna, Mario Vento	Prototype Learning with Attributed Relational Graphs.	SSPR/SPR	2000	DBLP DOI BibTeX RDF
8	Leila Ribeiro 0001	Parallel Composition of Graph Grammars.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	graph grammars, parallel composition
8	Klaus-Dieter Schewe, Bernhard Thalheim	Towards a Theory of Consistency Enforcement.	Acta Informatica	1999	DBLP DOI BibTeX RDF
8	Renate Motschnig-Pitrik, Jens Kaasbøll	Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	part-of relationship, part-of relationship categories, partonomy, Conceptual modeling, aggregation, object-oriented design, object-oriented analysis, semantic constraints, object life-cycle
8	Niels H. Christensen, Robert Glück, Søren Laursen	Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
8	Laurent Thomas, Thomas Lambolais, Renaud Lesiour	Architectural Techniques for the Description and Validation of Distributed Real-Time Systems.	ISORC	1999	DBLP DOI BibTeX RDF
8	Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal	A Partial Evaluation Framework for Curry Programs.	LPAR	1999	DBLP DOI BibTeX RDF
8	Christophe Nicolle, Nadine Cullot, Kokou Yétongnon	SHB: A Strategic Hierarchy Builder for Managing Heterogeneous Databases.	IDEAS	1999	DBLP DOI BibTeX RDF	Database Heterogeneity, Metamodel, Description Logic
8	Willi Klösgen	Applications and Research Problems of Subgroup Mining.	ISMIS	1999	DBLP DOI BibTeX RDF
8	Mark Oskin, Justin Hensley, Diana Keen, Frederic T. Chong, Matthew K. Farrens, Aneet Chopra	Exploiting ILP in Page-based Intelligent Memory.	MICRO	1999	DBLP DOI BibTeX RDF
8	Stéphane Mancini, Renaud Pacalet	LUX: An Heterogeneous Function Composition Parallel Computer for Graphics.	Euro-Par	1999	DBLP DOI BibTeX RDF
8	Xiaoqing Liu, Ravi Viswanathan	A WWW Based Software Metrics Environment for Software Process Management and Software Product Quality Improvement.	COMPSAC	1999	DBLP DOI BibTeX RDF
8	Michael Langer, Stefan Loidl, Michael Nerb	Customer Service Management: Towards a Management Information Base for an IP Connectivity Service.	ISCC	1999	DBLP DOI BibTeX RDF	Customer Service Management (CSM), Customer Network Management (CNM), Connectivity Services, Management Information Base (MIB), Quality of Service (QoS), Unified Modeling Language (UML), Common Object Request Broker Architecture (CORBA), Network Management, Service Level Agreements (SLA), Internet Protocol (IP), Service Management, Network Services
8	Nicholas McKay, Satnam Singh	Debugging Techniques for Dynamically Reconfigurable Hardware.	FCCM	1999	DBLP DOI BibTeX RDF
8	Jonathan Babb, Martin C. Rinard, Csaba Andras Moritz, Walter Lee, Matthew I. Frank, Rajeev Barua, Saman P. Amarasinghe	Parallelizing Applications into Silicon.	FCCM	1999	DBLP DOI BibTeX RDF
8	Markus Weinhardt, Wayne Luk	Pipeline Vectorization for Reconfigurable Systems.	FCCM	1999	DBLP DOI BibTeX RDF	hardware pipelines, FPGAs, reconfigurable computing, vectorization, loop transformations
8	João Carlos Cunha, Mário Zenha Rela, João Gabriel Silva	Can Software Implemented Fault-Injection Be Used on Real-Time Systems?.	EDCC	1999	DBLP DOI BibTeX RDF
8	Torfi Thórhallsson, David William Murray 0001	The Tensors of Three Affine Views.	CVPR	1999	DBLP DOI BibTeX RDF	unifocal tensor, bifocal tensor, incidence relations, transfer equations, registered tensors, estimation, multiple views, trifocal tensor, affine camera
8	Herman Midelfart	A Bounded Search Space of Clausal Theories.	ILP	1999	DBLP DOI BibTeX RDF
8	Jun'ichi Tatemura, Simone Santini, Ramesh C. Jain	Social and Content-Based Approach for Visual Recommendation of Web Graphics.	VL	1999	DBLP DOI BibTeX RDF
8	Chiaki Imaizumi	Changes in Work Styles of Office Workers in Satellite Offices.	HICSS	1999	DBLP DOI BibTeX RDF
8	Björn Höfling, Thorsten Liebig, Dietmar F. Rösner, Lars Webel	Towards an Ontology for Substances and Related Actions.	EKAW	1999	DBLP DOI BibTeX RDF
8	Frédérique Laforest, Anne Tchounikine	A Model for Querying Annotated Documents.	ADBIS	1999	DBLP DOI BibTeX RDF
8	Nicole Lévy, Francisca Losavio	Analyzing and Comparing Architectural Styles.	SCCC	1999	DBLP DOI BibTeX RDF
8	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
8	Nicoletta De Francesco, Antonella Santone	A Transformation System for Concurrent Processes.	Acta Informatica	1998	DBLP DOI BibTeX RDF
8	Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro	Denotational Semantics of Object Specification.	Acta Informatica	1998	DBLP DOI BibTeX RDF
8	Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap	Optimizing Compilation of CLP(R).	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	source-to-source program transformation, compilation, program analysis, constraint logic programming, program optimization
8	Michael Leuschel, Bern Martens, Danny De Schreye	Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	program transformation, partial evaluation, flow analysis, partial deduction, supercompilation