Search results for "definition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Bilel Moulahi	Définition et évaluation de modèles d'agrégation pour l'estimation de la pertinence multidimensionnelle en recherche d'information. (Definition and evaluation of aggregation models for multidimensional relevance estimation in information retrieval).		2015	RDF
18	Quang-Hai Khuat	Definition and evaluation of spatio-temporal scheduling strategies for 3D multi-core heterogeneous architectures. (Définition et évaluation de stratégies d'ordonnancement spatio-temporel pour architecture 3D multi-coeurs hétérogènes).		2015	RDF
18	Kenza Harkouken Saiah	Etude et définition de mécanismes sémantiques dans les environnements virtuels pour améliorer la crédibilité comportementale des agents : utilisation d'ontologies de services. (Study and definition of semantic mechanisms in virtual environments to improve behavioral credibility of agents : use an ontology of services).		2015	RDF
18	Emily Olshefski	Game-Changing Event Definition and Detection in an eSports Corpus.	EVENTS@HLP-NAACL	2015	DBLP DOI BibTeX RDF
18	Somsri Wiwanitkit, Viroj Wiwanitkit	Definition of Research Misconduct: Problem on "Definition" or "User"?	Sci. Eng. Ethics	2014	DBLP DOI BibTeX RDF
18	Laure Soulier	Définition et évaluation de modèles de recherche d'information collaborative basés sur les compétences de domaine et les rôles des utilisateurs. (Definition and evaluation of collaborative ranking models based on users' domain expertise and roles).		2014	RDF
18	Nadira Benlahrache	Définition d'un Modèle de Déploiement d'une Architecture logicielle à base de BRS. (Definitie van een modelgebaseerd BRS voor implementatie van software-architectuur / Definition of a Model based BRS for Software Architecture Deployment / Definición de un BRS basado en modelo para la implementación de arquitectura de software / Definizione di un BRS basato su modello per la distribuzione dell'architettura software).		2014	RDF
18	Elsa Fléchon	Définition d'un modèle unifié pour la simulation physique adaptative avec changements topologiques. (Definition of a unified model for the adaptive physical simulation with topological changes).		2014	RDF
18	Papa Issa Diallo	A framework for the definition of a system model MoC-based semantics in the context of tool integration. (Un cadre de définition de la sémantique basée MoC des modèles de systèmes dans le contexte de l'intégration d'outils).		2014	RDF
18	Simon Stuker	Définition et exploration des propriétés formelles des logiciels auto-organisateurs à fonctionnalité émergente. (Definition and exploration of formal properties of auto-organising software with emerging functionnalities).		2014	RDF
18	Chedlia Chakroun	Contribution à la définition d'une méthode de conception de bases de données à base ontologique. (Contribution to the definition of a mathod for designing an ontology-based database).		2013	RDF
18	Imen Charfi	Détection automatique de chutes de personnes basée sur des descripteurs spatio-temporels : définition de la méthode, évaluation des performances et implantation temps-réel. (Automatic human fall detection based on spatio-temporal descriptors : definition of the method, evaluation of the performance and real-time implementation).		2013	RDF
18	Yongchao Xu	Tree-based shape spaces : definition and applications in image processing and computer vision. (Espaces de formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur).		2013	RDF
18	Pierre-Yves Vandenbussche	Définition d'un cadre formel de représentation des Systèmes d'Organisation de la Connaissance. (Definition of a formal framework for Knowledge Organization Systems representation).		2011	RDF
18	Sébastien Moutault	Définition et implémentation d'un modèle causal d'exécution temps-réel distribuée. (Definition and implementation of a causal distributed real-time execution model).		2011	RDF
18	Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu 0001, Yuanyuan Zhou 0001, Wenguang Chen, Weimin Zheng	Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs.	OOPSLA	2010	DBLP DOI BibTeX RDF
18	Narayan C. Debnath, Carlos Salgado, Mario Peralta, Daniel Riesco, German Montejano	Optimization of the Business Process metrics definition according to the BPDM standard and its formal definition in OCL.	AICCSA	2010	DBLP DOI BibTeX RDF
18	Thi Thu Huong Hoang	Modeling Of Non Stationary, Nonlinear Time Series Application to the definition of trends on mean, variability and extremes of air temperatures in Europe. (Modelisation De Series Chronologiques Non Stationnaires, Non Lineaires Application à la définition des tendances sur la moyenne, la variabilité et les extrêmes de la température de l'air en Europe).		2010	RDF
18	Julien Haillot	Définition et validation d'un modèle de communication supportant la communication basée contenus dans les réseaux mobiles ad hoc discontinus. (Definition and validation of a communication model that supports content-based communication in disconnected mobile ad hoc networks).		2010	RDF
18	Jürgen Mangler, Erich Schikuta, Christoph Witzany	Quo vadis interface definition languages? Towards a interface definition language for RESTful services.	SOCA	2009	DBLP DOI BibTeX RDF
18	Charlotte Hucher	Definition and performance analysis of new cooperative protocols. (Définition et analyse des performances de nouveaux protocoles coopératifs).		2009	RDF
18	Saber Dir	Etude d'un système d'aide à la décision : application à la définition dynamique des fonctions d'assistance d'un fauteuil électrique par l'utilisation de la réalité virtuelle. (Study of a decision making system : application to the dynamic definition of assistance functions of an electric wheelchair by using virtual reality).		2009	RDF
18	Pierre Bommel	Définition d'un cadre méthodologique pour la conception de modèles multi-agents adaptée à la gestion des ressources renouvelables. (Definition of a methodological framework for designing multi-agents models adapted to the renewable resources management).		2009	RDF
18	Stéphane Péchard	Qualité d'usage en télévision haute définition : évaluations subjectives et métriques objectives. (Quality of experience in High Definition Television: subjective assessments and objective metrics).		2008	RDF
18	Loé Sanou	Définition et réalisation d'une boîte à outils générique dédiée à la Programmation sur Exemple. (Definition and realization of generic toolbox dedicated to Programming by Demonstration).		2008	RDF
18	Nicolas Pronost	Définition et réalisation d'outils de modélisation et de calcul de mouvement pour des humanoides virtuels. (Definition and realisation of modeling methods and motion computation algorithms for virtual humans).		2006	RDF
18	Lobna Kriaa	Modélisation et validation des systèmes hétérogènes : définition d'un modèle d'exécution. (Modeling and validation of heterogeneous system : execution model definition).		2005	RDF
18	David Chavalarias	Métadynamiques en Cognition SocialeQuelle définition de meilleur est la meilleure ? (Metadynamics in Social Cognition Which definition of best is the best ?).		2004	RDF
18	Leen Kuijken, Hendrik Van Maldeghem	On the definition and some conjectures of fuzzy projective planes by Gupta and Ray, and a new definition of fuzzy building geometries.	Fuzzy Sets Syst.	2003	DBLP DOI BibTeX RDF
18	Fabrice Jumel	Définition et gestion d'une qualité de service pour les applications temps réel. (Definition and management of a quality of service for real time applications).		2003	RDF
18	Julia Flötotto	A Coordinate System associated to a Point Cloud issued from a Manifold: Definition, Properties and Applications. (Un système de coordonnées associé à un échantillon de points d'une variété: définition, propriétés et applications).		2003	RDF
18	Pascal Boutin	Définition d'une méthodologie de mise en oeuvre et de prototypage d'un progiciel de gestion d'entreprise (ERP). (Definition of an Entreprise Resources Planning system (ERP) implementation and prototyping methodology).		2001	RDF
18	Guillaume Damiand	Définition et étude d'un modèle topologique minimal de représentation d'images 2d et 3d. (Definition and study of a minimal topological model of 2d and 3d image representation).		2001	RDF
18	Olivier Charles	Application des hypothèses de test à une définition de la couverture. (Application of test hypotheses to a definition of test coverage).		1997	RDF
18	Martial Grislin	DéFinition d'un cadre pour l'éValuation a priori des Interfaces homme-Machine dans les SystèMES industriels de Supervision. (Definition of a Framework for the a priori Evaluation of Human-Machine Interfaces in Supervision Industrial Systems).		1995	RDF
18	Lionel Beaugé	Définition de mécanismes de mémorisation pour les systèmes neuromimétiques (inspirations pluridisciplinaires). (Definition of memorization mechanisms for neural networks (pluridisciplinary inspirations)).		1995	RDF
18	Carmen Gervet	Set Intervals in Constraint Logic Programming: Definition and implementation of a language. (Intervalles ensemblistes en programmation logique par contraintes : définition formelle et concrète d'un langage).		1995	RDF
18	Pascal Rubini	Définition fonctionnelle, évaluation et programmation d'une architecture massivement parallèle. (Functional definition, evaluation and programmation of a massively parallel architecture).		1992	RDF
18	Eric Payan	Etude d'une architecture cellulaire programmable : définition fonctionnelle et méthodologie de programmation. (Studie of a programmable cellular architecture: functionnal definition and programmation methodology).		1991	RDF
18	Christine Morin	Protocole d'appel de multiprocédure à distance dans le système Gothic : définition et mise en oeuvre. (Remote Multiprocedure Call Protocol in the Gothic System: Definition and Implementation).		1990	RDF
18	Armand Hornik	Contribution à la définition et à la mise en œuvre de NAUTILE. (Contribution to definition and implementation of nautile).		1989	RDF
18	Guy Moussu	Définition d'une méthodologie de détection de phénomènes dynamiques dans une chronique d'images et son application à quelques études. (Definition and applications of a method for the detection of dynamic phenomena in time series of images).		1988	RDF
18	Takeshi Hashimoto	A Direct Proof of the Equality between the Block Definition and the Process Definition of Distortion-Rate Functions for Stationary Ergodic Sources	Inf. Control.	1981	DBLP DOI BibTeX RDF
18	P. G. Barker	Syntactic Definition and Parsing of Molecular Formulae: Part 1 Initial Syntax Definition and Parser Implementation.	Comput. J.	1975	DBLP DOI BibTeX RDF
18	Wayne T. Wilner	Declarative semantic definition, as illustrated by a definition of Simula 67.		1971	RDF
18		CODASYL: Storage Structure Definition Language Task Group: Design Objectives for a Storage Structure Definition Language (SSDL).	SIGFIDET Workshop	1970	DBLP DOI BibTeX RDF
18	Alan Dorin, Kevin B. Korb	A New Definition of Creativity.	ACAL	2009	DBLP DOI BibTeX RDF
18	Artur Hecker	On System Security Metrics and the Definition Approaches.	SECURWARE	2008	DBLP DOI BibTeX RDF
18	Jeremy P. Adkins-Hill, James M. Fortunato, Yong Zhang 0017, John R. Sullins	An empirical comparison of high definition video and regular video in optical flow computation.	ICPR	2008	DBLP DOI BibTeX RDF
18	Heiko Aydt, Stephen John Turner, Wentong Cai 0001, Malcolm Yoke Hean Low	Symbiotic Simulation Systems: An Extended Definition Motivated by Symbiosis in Biology.	PADS	2008	DBLP DOI BibTeX RDF	Symbiotic Simulation
18	Liming Zhu 0001, Leon J. Osterweil, Mark Staples, Udo Kannengiesser	Challenges Observed in the Definition of Reference Business Processes.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
18	Yosuke Sato, Yuya Maita, Koji Hashimoto, Yoshitaka Shibata	Perform ance Evaluation of A New Teleconference System by High Definition Omni-directional Video Transmission.	ICME	2007	DBLP DOI BibTeX RDF
18	J. Christopher Beck, Michael Grüninger	What's Your Problem? The Problem of Problem Definition.	SARA	2007	DBLP DOI BibTeX RDF
18	Yosuke Sato, Yuya Maita, Koji Hashimoto, Yoshitaka Shibata	Implementation and Performance of a New Teleconference System by High Definition Omni-Directional Video Transmission over IP Network.	CISIS	2007	DBLP DOI BibTeX RDF
18	Detlef Kähler, Ralf Küsters, Thomas Wilke	A Dolev-Yao-Based Definition of Abuse-Free Protocols.	ICALP (2)	2006	DBLP DOI BibTeX RDF
18	Claudia Denicia-Carral, Manuel Montes-y-Gómez, Luis Villaseñor Pineda, René Hernández	A Text Mining Approach for Definition Question Answering.	FinTAL	2006	DBLP DOI BibTeX RDF
18	Yucong Duan, Xiaolan Fu, Qingwu Hu, Yuqing Gu	An Ontology Definition Framework for Model Driven Development.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
18	Fabio Casati, Malú Castellanos, Umeshwar Dayal, Ming-Chien Shan	A Metric Definition, Computation, and Reporting Model for Business Operation Analysis.	EDBT	2006	DBLP DOI BibTeX RDF
18	Steve Jones	Toward an Acceptable Definition of Service.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	Web Services Description Language, Web Services Invocation Framework, Service-Oriented Architecture, methodology, service
18	Tingting Zhang, Patrik Österberg, Youzhi Xu	Multicast-Favorable Max-Min Fairness - A General Definition of Multicast Fairness.	DFMA	2005	DBLP DOI BibTeX RDF
18	Preeyadit Wannurak, Choompol Boonmee	Masterfulness definition model: a model to identify specific skill of learners based on standard learning road map.	IRI	2005	DBLP DOI BibTeX RDF
18	Jin Liu, Keqing He, Bing Li 0010, Chengwan He, Peng Liang 0001	A Transformation Definition Metamodel for Model Transformation.	ITCC (2)	2005	DBLP DOI BibTeX RDF	model transformation, metamodel
18	Miguel Goulão, Fernando Brito e Abreu	Formal Definition of Metrics Upon the CORBA Component Model.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
18	James A. Renshaw, Janet Finlay, David A. Tyfa, Robert D. Ward	Regressions re-visited: a new definition for the visual display paradigm.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	evaluation, design, usability, eye tracking, regression
18	Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen	Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing
18	Antoni Olivé	Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages.	ER	2003	DBLP DOI BibTeX RDF
18	Miguel L. Bote-Lorenzo, Yannis A. Dimitriadis, Eduardo Gómez-Sánchez	Grid Characteristics and Uses: A Grid Definition.	European Across Grids Conference	2003	DBLP DOI BibTeX RDF
18	Shoichi Hirose	Yet Another Definition of Weak Collision Resistance and Its Analysis.	ICISC	2003	DBLP DOI BibTeX RDF
18	Christian Zirpins, Giacomo Piccinelli	Interaction-Driven Definition of e-Business Processes.	COMPSAC	2002	DBLP DOI BibTeX RDF
18	Ruud M. Bolle, Andrew W. Senior, Nalini K. Ratha, Sharath Pankanti	Fingerprint Minutiae: A Constructive Definition.	Biometric Authentication	2002	DBLP DOI BibTeX RDF
18	Marco Vieira, Henrique Madeira	Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking.	PRDC	2002	DBLP DOI BibTeX RDF
18	Ian C. Parmee	Poor-Definition, Uncertainty, and Human Factors - Satisfying Multiple Objectives in Real-World Decision-Making Environments.	EMO	2001	DBLP DOI BibTeX RDF
18	Gene Cooperman, Victor Grinberg	Scalable parallel coset enumeration using bulk definition.	ISSAC	2001	DBLP DOI BibTeX RDF
18	Yen-Liang Chang, Sammy Chen, Chyun-Chyi Chen	Workflow Process Definition and Their Applications in e-Commerce.	ISMSE	2000	DBLP DOI BibTeX RDF
18	Hideo Fujiwara	A New Definition and a New Class of Sequential Circuits with Combinational Test Generation Complexity.	VLSI Design	2000	DBLP DOI BibTeX RDF	complexity, test generation, design for testability, sequential circuits, reducibility, partial scan, Balanced structure
18	Alessandro Fantechi, Stefania Gnesi, F. Leggio, P. Talini	Executing the formal definition of Ada.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	Ada
18	F. Mariategui, Margaret H. Eich	A transaction definition based on message passing.	SPDP	1990	DBLP DOI BibTeX RDF
18	Derek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers	The Formal Definition of Modula-2 and Its Associated Interpreter.	VDM Europe	1988	DBLP DOI BibTeX RDF
18	Jürgen Uhl	A Formal Definition of Diana.	Ada Software Tools Interfaces	1983	DBLP DOI BibTeX RDF
18	Robert M. Curtice, P. E. Jones Jr.	Fundamentals of Data Element Definition.	SIGMOD Conference	1981	DBLP DOI BibTeX RDF
18	Richard L. Phillips	Definition and Manipulation of Graphical Entities in Geographic Information Systems.	Data Base Techniques for Pictorial Applications	1979	DBLP DOI BibTeX RDF
18	Wolfgang Henhapl, Cliff B. Jones	A Formal Definition of Algol 60 as Described in the 1975 Modified Report.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
18	Billy G. Claybrook	A File Definition Facility for File Structures.	SIGMOD Workshop, Vol. 1	1974	DBLP DOI BibTeX RDF	Programming languages, List structures, File structures
18	James P. Fry, David W. Jeris	Towards a Formulation and Definition of Data Reorganization.	SIGMOD Workshop, Vol. 1	1974	DBLP DOI BibTeX RDF
18	K. Bandat	On the formal definition of PL/I.	AFIPS Spring Joint Computing Conference	1968	DBLP DOI BibTeX RDF
17	Isabel Dietrich, Falko Dressler	On the lifetime of wireless sensor networks.	ACM Trans. Sens. Networks	2009	DBLP DOI BibTeX RDF	longevity, Sensor networks, connectivity, coverage, lifetime
17	Philippe Beaucamps, Eric Filiol	On the possibility of practically obfuscating programs towards a unified perspective of code protection.	J. Comput. Virol.	2007	DBLP DOI BibTeX RDF
17	Mehmet Mutlu Yenisey	Axiomatic Design Approach for E-Commercial Web Sites.	HCI (1)	2007	DBLP DOI BibTeX RDF	Axiomatic Design, Usability, Web page
17	Ran Canetti, Shai Halevi, Jonathan Katz, Yehuda Lindell, Philip D. MacKenzie	Universally Composable Password-Based Key Exchange.	EUROCRYPT	2005	DBLP DOI BibTeX RDF
17	Denise de Vries, Sally Rice, John F. Roddick	In Support of Mesodata in Database Management Systems.	DEXA	2004	DBLP DOI BibTeX RDF
17	Yehuda Lindell	General Composition and Universal Composability in Secure Multi-Party Computation.	FOCS	2003	DBLP DOI BibTeX RDF
17	Jon C. R. Bennett, Kent Benson, Anna Charny, William F. Courtney, Jean-Yves Le Boudec	Delay jitter bounds and packet scale rate guarantee expedited forwarding.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	expedited forwarding, differentiated services, delay jitter
17	Klaus Lindpaintner	Genetics and genemoics: impact on drug discovery and development.	RECOMB	2001	DBLP DOI BibTeX RDF
17	Stuart A. Yeates, David Bainbridge 0001, Ian H. Witten	Using Compression to Identify Acronyms in Text.	Data Compression Conference	2000	DBLP DOI BibTeX RDF	compression applications, data mining, text mining, PPM, acronyms
17	Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin	Correction to "An equivalence between relational database dependencies and a fragment of propositional logic".	J. ACM	1987	DBLP DOI BibTeX RDF
16	Jimmy Leblet, Jean-Xavier Rampon	Inductive Characterizations of Finite Interval Orders and Semiorders.	Order	2009	DBLP DOI BibTeX RDF	Finite order, Decomposition, Characterization, Partially ordered sets, Interval order, Inductive definition, Antichain, Semiorder
16	László Horváth, Imre J. Rudas	Engineering Objective-Driven Product Lifecycle Management with Enhanced Human Control.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF	intelligent product modeling, information content in product model, control of product definition processes, tracking of changes, Product lifecycle management
16	Karsten Nebe, Volker Paelke	Usability-Engineering-Requirements as a Basis for the Integration with Software Engineering.	HCI (1)	2009	DBLP DOI BibTeX RDF	Standards DIN EN ISO 13407 and ISO/PAS 18152, Software Engineering, Integration, Assessment, Process Models, Process Improvement, Usability Engineering, Process Definition
16	Effie Lai-Chong Law, Virpi Roto, Marc Hassenzahl, Arnold P. O. S. Vermeeren, Joke Kort	Understanding, scoping and defining user experience: a survey approach.	CHI	2009	DBLP DOI BibTeX RDF	usability, user experience, survey, definition, iso
16	Dilek Basci, Sanjay Misra	Entropy metric for XML DTD documents.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	document type definition, entropy, XML schema, W3C, complexity metric