Search results for "definition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Michael Norrish	Recursive Function Definition for Types with Binders.	TPHOLs	2004	DBLP DOI BibTeX RDF
15	Long Wang 0002, Christoph Meinel	Behaviour Recovery and Complicated Pattern Definition in Web Usage Mining.	ICWE	2004	DBLP DOI BibTeX RDF
15	Hugo A. F. Gratama van Andel, Erik Meijering, Aad van der Lugt, Henri A. Vrooman, Rik Stokking	VAMPIRE: Improved Method for Automated Center Lumen Line Definition in Atherosclerotic Carotid Arteries in CTA Data.	MICCAI (1)	2004	DBLP DOI BibTeX RDF
15	Sergio Miguel Fernandes, João P. Cachopo, António Rito Silva	Supporting Evolution in Workflow Definition Languages.	SOFSEM	2004	DBLP DOI BibTeX RDF
15	Sadahiro Isoda	A Critique of UML's Definition of the Use-Case Class.	UML	2003	DBLP DOI BibTeX RDF
15	Roswitha Bardohl, Claudia Ermel, Ingo Weinhold	GenGED - A Visual Definition Tool for Visual Modeling Environments.	AGTIVE	2003	DBLP DOI BibTeX RDF
15	Silke Höppner	An Agents' Definition Framework and a Methodology for Deriving Agents' Taxonomies.	KI	2003	DBLP DOI BibTeX RDF
15	Fábio Rilston Silva Paim, Jaelson Castro	DWARF: AN Approach for Requirements Definition and Management of Data Warehouse Systems.	RE	2003	DBLP DOI BibTeX RDF
15	Giang P. Nguyen, Marcel Worring	Query definition using interactive saliency.	Multimedia Information Retrieval	2003	DBLP DOI BibTeX RDF	salient details, image segmentation, image retrieval
15	Andreas Prinz 0001, Martin von Löwis	Generating a Compiler for SDL from the Formal Language Definition.	SDL Forum	2003	DBLP DOI BibTeX RDF
15	Wei Ge, Baoyan Song, Derong Shen, Ge Yu 0001	e_SWDL: An XML Based Workflow Definition Language for Complicated Applications in Web Environments.	APWeb	2003	DBLP DOI BibTeX RDF
15	John C. Munson, Allen P. Nikora	Toward A Quantifiable Definition of Software Faults.	ISSRE	2002	DBLP DOI BibTeX RDF
15	C. S. Buchanan, K. I. M. McKinnon, G. K. Skondras	The Recursive Definition of Stochastic Linear Programming Problems within an Algebraic Modeling Language.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	algebraic modeling languages, stochastic programming
15	V. M. Mikhelev	Data Definition in the Programming Language MARKIZ.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
15	Miguel A. Alonso 0001, Éric Villemonte de la Clergerie, Manuel Vilares Ferro	A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique.	LACL	2001	DBLP DOI BibTeX RDF
15	Berthold F. Koch, Stefano Salsano	IP QoS at Work: Definition and Implementation of the AQUILA Architecture.	IWDC	2001	DBLP DOI BibTeX RDF
15	Frank Marlowe	High Definition Television Broadcast Technology -A Nist/atp Project.	Workshop on Digital and Computational Video	2001	DBLP DOI BibTeX RDF
15	Rémi Douence, Olivier Motelet, Mario Südholt	A Formal Definition of Crosscuts.	Reflection	2001	DBLP DOI BibTeX RDF
15	Raymond T. Boute	Supertotal Function Definition in Mathematics and Software Engineering.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness
15	David H. Akehurst	An OO Visual Language Definition Approach Supporting Multiple Views.	VL	2000	DBLP DOI BibTeX RDF
15	Athanasios G. Malamos, Elias N. Malamas, Theodora A. Varvarigou, Sudhir R. Ahuja	On the Definition, Modelling, and Implementation of Quality of Service (QoS) in Distributed Multimedia Systems.	ISCC	1999	DBLP DOI BibTeX RDF
15	Shahriar Negahdaripour	Revised Definition of Optical Flow: Integration of Radiometric and Geometric Cues for Dynamic Scene Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	time-varying image analysis, dynamic visual cues, integration of radiometric and geometric cues, optical flow, Motion vision
15	Richard C. Linger, Nancy R. Mead, Howard F. Lipson	Requirements Definition for Survivable Network Systems.	ICRE	1998	DBLP DOI BibTeX RDF
15	Ramon Martí, Jaime Delgado	Definition of Service Levels for Electronic Brokerage Applications.	IS&N	1998	DBLP DOI BibTeX RDF
15	Maurizio Rafanelli, Antonia Bezenchek, Leonardo Tininini	The Aggregate Data Problem: A System for their Definition and Management.	SIGMOD Rec.	1996	DBLP DOI BibTeX RDF
15	Charles Lakos	The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Multiple Levels of Abstraction, Object-Orientation
15	Stan Knight, Danny Chin, Herb Taylor, Joseph E. Peters	The sarnoff engine: A massively parallel computer for high definition system simulation.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF
15	Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte	Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net
15	Leonid A. Kalinichenko, Nikolaj S. Nikitchenko, Vladimir Zadorozhny	Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics.	FME	1993	DBLP DOI BibTeX RDF
15	Barbara Liskov, Jeannette M. Wing	A New Definition of the Subtype Relation. (Corrigenda: SIGPLAN Notices 29(4): 4 (1994))	ECOOP	1993	DBLP DOI BibTeX RDF
15	Francisco J. Vico, Francisco Sandoval Hernández	Use of Genetic Algorithms in Neural Networks Definition.	IWANN	1991	DBLP DOI BibTeX RDF
15	Stefano Crespi-Reghizzi, Guido Galli de Paratesi, Stefano Genolini	Definition of Reusable Concurrent Software Components.	ECOOP	1991	DBLP DOI BibTeX RDF
15	Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf	A Comparative Evaluation of Object Definition Techniques.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
15	Jan Heering, P. R. H. Hendriks, Paul Klint, J. Rekers	The syntax definition formalism SDF - reference manual.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
15	Paul F. Wilms, Bruce G. Lindsay 0001, Patricia G. Selinger	"I wish I were over there": Distributed Execution Protocols for Data Definition in R*.	SIGMOD Conference	1983	DBLP DOI BibTeX RDF
15	Terrence W. Pratt, George D. Maydwell	Experience with the Normal Semantic Definition of HAL/S.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	HAL/S
15	James W. Winchester, Gerald Estrin	Requirements definition and its interface to the SARA design methodology for computer-based systems.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
15	Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang	On the formal definition of ADA.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF	semantics, Programming Languages, programming environment
15	P. D. Griem Jr.	On the principle of unique definition.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
15	Donald I. Good, Ralph L. London	Computer Interval Arithmetic: Definition and Proof of Correct Implementation.	J. ACM	1970	DBLP DOI BibTeX RDF
14	Pythagoras Karampiperis, Demetrios G. Sampson	Evaluating the Performance of Adaptive Learning Objects Selection and Sequencing in Adaptive Educational Hypermedia Systems.	ICALT	2009	DBLP DOI BibTeX RDF
14	Yaron Rachlin, Katharina Probst, Rayid Ghani	Maximizing Privacy under Data Distortion Constraints in Noise Perturbation Methods.	PinKDD	2008	DBLP DOI BibTeX RDF	Noise perturbation, privacy, anonymity, statistical disclosure control
14	Nicolas Oury	Pattern matching coverage checking with dependent types using set approximations.	PLPV	2007	DBLP DOI BibTeX RDF	coverage checking, set approximation, pattern matching
14	Paul Lin, Alexander MacArthur, John Leaney	Defining Autonomic Computing: A Software Engineering Perspective.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
14	Jonathan Katz, Ji Sun Shin	Modeling insider attacks on group key-exchange protocols.	CCS	2005	DBLP DOI BibTeX RDF	universal composability, group key exchange, insider attacks
14	Jixue Liu, Millist W. Vincent	Containment and disjointedness in partitioned normal form relations.	Acta Informatica	2002	DBLP DOI BibTeX RDF
14	Hassan Aït-Kaci, Yutaka Sasaki	An Axiomatic Approach to Feature Term Generalization.	ECML	2001	DBLP DOI BibTeX RDF
14	Alex Gontmakher, Assaf Schuster	Java consistency: nonoperational characterizations for Java memory behavior.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	Java memory models, nonoperational specification, multithreading
14	Asuman Dogac, M. Ezbiderli, Yusuf Tambag, C. Icdem, Arif Tumer, Nesime Tatbul, N. Hamali, Catriel Beeri	The MARIFlow Workflow Management System.	ICDE	2000	DBLP DOI BibTeX RDF	Internet, Agent, Workflow, Web
14	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil	Verifying properties of process definitions.	ISSTA	2000	DBLP DOI BibTeX RDF
14	Hyunyoung Lee, Jennifer L. Welch	Specification, implementation and application of randomized regular registers (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
14	Thomas Bülow, Gerald Sommer	A Novel Approach to the 2D Analytic Signal.	CAIP	1999	DBLP DOI BibTeX RDF
14	Chris Exton, Damien Watkins, Dean Thompson	Comparisons between CORBA IDL & COM/DCOM MIDL: Interfaces for Distributed Computing.	TOOLS (25)	1997	DBLP DOI BibTeX RDF
14	Philip W. Hall IV	Parsing with C++ Constructors.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	C++
14	Baowen Xu	CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal
14	Birgit Pfitzmann	Sorting Out Signature Schemes.	CCS	1993	DBLP DOI BibTeX RDF
14	Jeffrey F. Naughton	Minimizing function-free recursive inference rules.	J. ACM	1989	DBLP DOI BibTeX RDF
14	G. R. Blakley	Information Theory Without the Finiteness Assumption, I: Cryptosystems as Group-Theoretic Objects.	CRYPTO	1984	DBLP DOI BibTeX RDF
14	D. G. McVitie, L. B. Wilson	The Stable Marriage Problem.	Commun. ACM	1971	DBLP DOI BibTeX RDF
13	Robert Pyka, Felipe Klein, Peter Marwedel, Stylianos Mamagkakis	Versatile system-level memory-aware platform description approach for embedded MPSoCs.	LCTES	2010	DBLP DOI BibTeX RDF	framework, component, configuration, channel, definition, energy models, architecture description
13	Zainab M. Aljazzaf, Mark Perry 0001, Miriam A. M. Capretz	Trust in Web Services.	SERVICES	2010	DBLP DOI BibTeX RDF	Trust definition, trust principles, Web Services
13	Pavel Pesout, Ondrej Matustik	On the Way to Smart Emergency System.	ITNG	2010	DBLP DOI BibTeX RDF	built-in sensors, crisis definition, emergency system, pattern recognition, mobile phone
13	Linda Dailey Paulson	Technique Makes Strong Encryption Easier to Use.	Computer	2009	DBLP DOI BibTeX RDF	chip piracy, Ending Piracy of Integrated Circuits, high-definition displays, dual modulation, local dimming, Livescribe Pulse, public-key cryptography, identity-based encryption, high-dynamic range, LEDs
13	Jack Jie Dai	An Outer-Measure Approach for Resource-Bounded Measure.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Carathéodory definition, Computational complexity, Martingale, Resource-bounded measure
13	Naoka Misawa, Mitsuru Fujita	A Proposal of XB-Method, an Idea Generation System for New Services Using User Experiences.	HCI (10)	2009	DBLP DOI BibTeX RDF	Emotion, Experience, Idea generation, Requirement definition
13	Yannis Charalabidis, Fenareti Lampathaki, Dimitris Askounis	Metadata Sets for e-Government Resources: The Extended e-Government Metadata Schema (eGMS+).	EGOV	2009	DBLP DOI BibTeX RDF	metadata element set, e-Government resources, e-GMS, semantic interoperability, service definition
13	Wei Li 0037, Omneya Issa, Hong Liu 0017, Filippo Speranza, Ron Renaud	Quality Assessment of Video Content for HD IPTV Applications.	ISM	2009	DBLP DOI BibTeX RDF	High-Definition Video Quality Assessment, IPTV, Content Analysis, Quality of Experience (QoE)
13	Gudmundur Freyr Jonasson, Ebba Thora Hvannberg	Sharing Usability Problem Sets within and between Groups.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	construct definition, Usability, relevance, merging, exchange, problem
13	Ondrej Krejcar	Full Scale Software Support on Mobile Lightweight Devices by Utilization of All Types of Wireless Technologies.	MOBILIGHT	2009	DBLP DOI BibTeX RDF	Mobile Lightweight Device, Area Definition, Localization, Response Time, Prebuffering
13	Dan Tisher, Ray Alsaber, Kuan-Tsae Huang, D. Frank Hsu	Simulating an Automated System (SAS) for Merging Medical Vocabularies.	ISPAN	2009	DBLP DOI BibTeX RDF	automated, merge, thesaurus, definition, lexicon, medical, vocabulary
13	Ernst Juhnke, Dominik Seiler, Thilo Stadelmann, Tim Dörnemann, Bernd Freisleben	LCDL: an extensible framework for wrapping legacy code.	iiWAS	2009	DBLP DOI BibTeX RDF	legacy code wrapping, interface definition languages
13	Shiyi Qiao, Xiaohong Chu, Shuwei Wang	Study on Application Strategies of Blog in Information-based Teaching.	JCAI	2009	DBLP DOI BibTeX RDF	definition of blog, function of blog, application of blog in instructions
13	Jeffrey M. Gilbert, Chinh H. Doan, Sohrab Emami, C. Bernard Shung	A 4-Gbps Uncompressed Wireless HD A/V Transceiver Chipset.	IEEE Micro	2008	DBLP DOI BibTeX RDF	uncompressed, HDMI, multimedia, networking, wireless, video, CMOS, high-definition, 60 GHz
13	Manfred Thaller, Volker Heydegger, Jan Schnasse, Sebastian Beyl, Elona Chudobkaite	Significant Characteristics to Abstract Content: Long Term Preservation of Information.	ECDL	2008	DBLP DOI BibTeX RDF	File characteristics, format definition languages, data abstraction, long term preservation
13	Alina Dia Miron, Jérôme Gensel, Marlène Villanova-Oliver	Semantic Analysis for the Geospatial Web - Application to OWL-DL Ontologies.	W2GIS	2008	DBLP DOI BibTeX RDF	Geospatial Semantic Web, context definition, ontology, semantic analysis, spatio-temporal reasoning
13	Sung Hsueh, Arvind Ranasaria	Cross feature testing in database systems.	DBTest	2008	DBLP DOI BibTeX RDF	cross feature, database, definition, test strategy, test design, microsoft SQL server
13	Damir Kirasic, Danko Basch	Ontology-Based Design Pattern Recognition.	KES (1)	2008	DBLP DOI BibTeX RDF	ontology-based system, OWL application, formal pattern definition, knowledge-based system, description logics, static code analysis
13	Claudia Raibulet	Facets of Adaptivity.	ECSA	2008	DBLP DOI BibTeX RDF	definition of adaptivity, facets of adaptivity
13	Mariana Avelãs, António Branco, Rosa Del Gaudio, Pedro Martins 0002	Supporting e-Learning with Language Technology for Portuguese.	PROPOR	2008	DBLP DOI BibTeX RDF	Automatic keyword extraction, definition extraction, annotated corpus, ontology, e-Learning, LMS
13	Carolyn Strano, Qamar Rehmani	The role of the enterprise architect.	Inf. Syst. E Bus. Manag.	2007	DBLP DOI BibTeX RDF	Enterprise architect, Functional roles, Definition, Competencies
13	Ying Zou 0001, Qi Zhang, Xulin Zhao	Improving the Usability of E-Commerce Applications using Business Processes.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Process Definition and Usability, Graphical User Interface, Business Process, User Interface Reengineering
13	Stephen R. Schach, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Gabor Madl, Esteban Osses, Sameer Singh 0001, Karlkim Suwanmongkol, Minhui Xie, Dror G. Feitelson	Common coupling and pointer variables, with application to a Linux case study.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Pointer variables, Definition-use analysis, Linux, Aliasing, Global variables, Common coupling
13	Christian Wolter, Andreas Schaad, Christoph Meinel	Deriving XACML Policies from Business Process Models.	WISE Workshops	2007	DBLP DOI BibTeX RDF	Policy Definition, Separation of Duties Business Process Modeling, eXtensible Access Control Markup Language, Integration, Enforcement
13	Shanghong Xiao	Scenario-Based Installability Design.	HCI (1)	2007	DBLP DOI BibTeX RDF	Typical Users, Scenario definition, Task Analysis, User Test, Installability
13	Takumi Kaneko, Yuichiro Nakamura, Michiko Anse, Tsutomu Tabe, Yumiko Taguchi	A Method for Generating Plans for Retail Store Improvements Using Text Mining and Conjoint Analysis.	HCI (9)	2007	DBLP DOI BibTeX RDF	Customer-satisfaction measurement, Definition Method, Store-improvement plan, Text Mining, Conjoint Analysis
13	Jesús Sánchez Cuadrado, Jesús García Molina	A phasing mechanism for model transformation languages.	SAC	2007	DBLP DOI BibTeX RDF	internal transformation composition, phasing mechanism, transformation definition modularity, model transformation, transformation languages
13	Christoph Schlieder	Modeling Collaborative Semantics with a Geographic Recommender.	ER Workshops	2007	DBLP DOI BibTeX RDF	Subject areas Spatio-temporal ontologies and reasoning, capture of spatial semantics, extraction, Definition, elicitation
13	Brian K. Hobson, Donald W. Kroening	Cross command collaboration effort (3CE).	SpringSim (3)	2007	DBLP BibTeX RDF	common distributed environment, cross command modeling & simulation, standards, tools, business processes, data, requirements definition
13	Dana Zhang, Kotagiri Ramamohanarao, Tim Ebringer	Role engineering using graph optimisation.	SACMAT	2007	DBLP DOI BibTeX RDF	graph optimisation, role definition, role-based access control, role engineering, role hierarchy
13	Claude Y. Laporte, Mikel Doucet, Pierre Bourque, Youssef Belkébir	Utilization of a Set of Software Engineering Roles for a Multinational Organization.	PROFES	2007	DBLP DOI BibTeX RDF	Roles definition, Software Engineering, standards, Process
13	Mariano Rincón, Javier Martínez-Cantos	An Annotation Tool for Video Understanding.	EUROCAST	2007	DBLP DOI BibTeX RDF	ontology based model definition, computer vision, semantic description, annotation tools, video understanding
13	Charles Koppelman	Dust to glory: the film.	Comput. Entertain.	2006	DBLP DOI BibTeX RDF	AJA, Adobe After Effects, Adobe Premiere Pro, BOXX, CineForm's Prospect HD, High-definition movies, Synthetic Aperture's Color Finesse, digital film, digital workflow, postproduction, visual effects
13	Michele Notari	How to use a Wiki in education: 'Wiki based effective constructive learning'.	Int. Sym. Wikis	2006	DBLP DOI BibTeX RDF	Wiki for learning, classroom moderation, definition of a script, strategies for effective scripts, collaboration, script, learning strategies
13	Vasilios A. Siris, George Stamatakis 0001	Optimal CWmin selection for achieving proportional fairness in multi-rate 802.11e WLANs: test-bed implementation and evaluation.	WINTECH	2006	DBLP DOI BibTeX RDF	fairness definition, throughput differentiation, short-term fairness
13	Lori Carter	Why students with an apparent aptitude for computer science don't choose to major in computer science.	SIGCSE	2006	DBLP DOI BibTeX RDF	computer science major, declining computer science enrollment, definition of computer science, gender issues in computer science, high school computer science education
13	Virginie Sans, Dominique Laurent 0001	Des hyperliens à la navigation par héritage application à la conception d'une web TV.	IHM	2006	DBLP DOI BibTeX RDF	ARM language, over-definition, spatial inheritance, temporal inheritance, hypermedia, hyperlink
13	Mingchu Li, Yongrui Cui, Yuan Tian, Dong Wang, Songyuan Yan	A New Architecture of Grid Security System Construction.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	security rule definition, grid, framework, security system
13	David Steffen Bergman, Belgacem Ben Youssef, Jim Bizzocchi, John Bowes	Interpolation techniques for the artificial construction of video slow motion in the postproduction process.	Advances in Computer Entertainment Technology	2006	DBLP DOI BibTeX RDF	postproduction, slow motion, video, ambient, high definition, video art, frame interpolation
13	Jim Bizzocchi	Ambient video.	Advances in Computer Entertainment Technology	2006	DBLP DOI BibTeX RDF	ambient video, emergent aesthetics, high-definition
13	Tom Schrijvers, Maurice Bruynooghe	Polymorphic algebraic data type reconstruction.	PPDP	2006	DBLP DOI BibTeX RDF	polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type