|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12830 occurrences of 5919 keywords
|
|
|
Results
Found 17404 publication records. Showing 17404 according to the selection in the facets
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
18 | Emily Olshefski |
Game-Changing Event Definition and Detection in an eSports Corpus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EVENTS@HLP-NAACL ![In: Proceedings of the The 3rd Workshop on EVENTS: Definition, Detection, Coreference, and Representation, EVENTS@HLP-NAACL 2015, Denver, Colorado, USA, June 4, 2015, pp. 77-81, 2015, Association for Computational Linguistics, 978-1-941643-37-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Somsri Wiwanitkit, Viroj Wiwanitkit |
Definition of Research Misconduct: Problem on "Definition" or "User"? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Eng. Ethics ![In: Sci. Eng. Ethics 20(2), pp. 615, 2014. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA, pp. 160-174, 2010, ACM, 978-1-4503-0203-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 8th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010, Hammamet, Tunisia, May 16-19, 2010, pp. 1-8, 2010, IEEE Computer Society, 978-1-4244-7716-6. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
18 | Jürgen Mangler, Erich Schikuta, Christoph Witzany |
Quo vadis interface definition languages? Towards a interface definition language for RESTful services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2009, 14-15 December 2009, Taipei, Taiwan, pp. 1-4, 2009, IEEE Computer Society, 978-1-4244-5300-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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 ?). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 138(3), pp. 667-685, 2003. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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)). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
RDF |
|
18 | Armand Hornik |
Contribution à la définition et à la mise en œuvre de NAUTILE. (Contribution to definition and implementation of nautile). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 51(1), pp. 45-57, October 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
18 | P. G. Barker |
Syntactic Definition and Parsing of Molecular Formulae: Part 1 Initial Syntax Definition and Parser Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 18(4), pp. 355-359, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
18 | Wayne T. Wilner |
Declarative semantic definition, as illustrated by a definition of Simula 67. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1971 |
RDF |
|
18 | |
CODASYL: Storage Structure Definition Language Task Group: Design Objectives for a Storage Structure Definition Language (SSDL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGFIDET Workshop ![In: Record of the 1970 ACM SIGFIDET Workshop on Data Description and Access, November 15-16, 1970, Rice University, Houston, Texas, USA (Second Edition with an Appendix), pp. 329-337, 1970, ACM, 978-1-4503-7941-0. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
18 | Alan Dorin, Kevin B. Korb |
A New Definition of Creativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACAL ![In: Artificial Life: Borrowing from Biology, 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 11-21, 2009, Springer, 978-3-642-10426-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Artur Hecker |
On System Security Metrics and the Definition Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECURWARE ![In: Proceedings of the Second International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2008, August 25-31, 2008, Cap Esterel, France, pp. 412-419, 2008, IEEE Computer Society, 978-0-7695-3329-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 22st International Workshop on Principles of Advanced and Distributed Simulation, PADS 2008, Roma, Italy, June 3-6, 2008, pp. 109-116, 2008, IEEE Computer Society, 978-0-7695-3159-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers, pp. 95-107, 2007, Springer, 978-3-540-78237-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, ICME 2007, July 2-5, 2007, Beijing, China, pp. 2050-2053, 2007, IEEE Computer Society, 1-4244-1017-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | J. Christopher Beck, Michael Grüninger |
What's Your Problem? The Problem of Problem Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings, pp. 393-394, 2007, Springer, 978-3-540-73579-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: First International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2007), Vienna, Austria, 10-12 April 2007, pp. 191-196, 2007, IEEE Computer Society, 0-7695-2823-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Detlef Kähler, Ralf Küsters, Thomas Wilke |
A Dolev-Yao-Based Definition of Abuse-Free Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, pp. 95-106, 2006, Springer, 3-540-35907-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FinTAL ![In: Advances in Natural Language Processing, 5th International Conference on NLP, FinTAL 2006, Turku, Finland, August 23-25, 2006, Proceedings, pp. 76-86, 2006, Springer, 3-540-37334-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Yucong Duan, Xiaolan Fu, Qingwu Hu, Yuqing Gu |
An Ontology Definition Framework for Model Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV, pp. 746-755, 2006, Springer, 3-540-34077-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT 2006, 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006, Proceedings, pp. 1079-1083, 2006, Springer, 3-540-32960-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Steve Jones |
Toward an Acceptable Definition of Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 22(3), pp. 87-93, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFMA ![In: 1st International Conference on Distributed Frameworks for Multimedia Applications (DFMA 2005), 6-9 February 2005, Besançon, France, pp. 239-244, 2005, IEEE Computer Society, 0-7695-2273-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA, pp. 476-480, 2005, IEEE Systems, Man, and Cybernetics Society, 0-7803-9093-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 373-378, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoSA/SOQUA ![In: Quality of Software Architectures and Software Quality, First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005, Proceedings, pp. 88-105, 2005, Springer, 3-540-29033-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 1437-1440, 2004, ACM, 1-58113-703-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 119-144, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2003, 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings, pp. 349-362, 2003, Springer, 3-540-20299-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Across Grids Conference ![In: Grid Computing, First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers, pp. 291-298, 2003, Springer, 3-540-21048-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Shoichi Hirose |
Yet Another Definition of Weak Collision Resistance and Its Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2003, 6th International Conference, Seoul, Korea, November 27-28, 2003, Revised Papers, pp. 87-96, 2003, Springer, 3-540-21376-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Christian Zirpins, Giacomo Piccinelli |
Interaction-Driven Definition of e-Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 738-740, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Ruud M. Bolle, Andrew W. Senior, Nalini K. Ratha, Sharath Pankanti |
Fingerprint Minutiae: A Constructive Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biometric Authentication ![In: Biometric Authentication, International ECCV 2002 Workshop Copenhagen, Denmark, June 1, 2002, Proceedings, pp. 58-66, 2002, Springer, 3-540-43723-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Marco Vieira, Henrique Madeira |
Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan, pp. 265-274, 2002, IEEE Computer Society, 0-7695-1852-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Ian C. Parmee |
Poor-Definition, Uncertainty, and Human Factors - Satisfying Multiple Objectives in Real-World Decision-Making Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMO ![In: Evolutionary Multi-Criterion Optimization, First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001, Proceedings, pp. 52-66, 2001, Springer, 3-540-41745-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Gene Cooperman, Victor Grinberg |
Scalable parallel coset enumeration using bulk definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001, pp. 77-84, 2001, ACM, 1-58113-417-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Yen-Liang Chang, Sammy Chen, Chyun-Chyi Chen |
Workflow Process Definition and Their Applications in e-Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMSE ![In: 2000 International Symposium on Multimedia Software Engineering, ISMSE 2000, Taipei, Taiwan, December 11-13, 2000, pp. 193-200, 2000, IEEE Computer Society, 0-7695-0933-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Hideo Fujiwara |
A New Definition and a New Class of Sequential Circuits with Combinational Test Generation Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 13th International Conference on VLSI Design (VLSI Design 2000), 4-7 January 2000, Calcutta, India, pp. 288-293, 2000, IEEE Computer Society, 0-7695-0487-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 26(3), pp. 25-34, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Ada |
18 | F. Mariategui, Margaret H. Eich |
A transaction definition based on message passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990., pp. 160-163, 1990, IEEE Computer Society, 0-8186-2087-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings, pp. 167-177, 1988, Springer, 3-540-50214-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Jürgen Uhl |
A Formal Definition of Diana. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada Software Tools Interfaces ![In: Ada Software Tools Interfaces, Workshop, Bath, UK, July 13-15, 1983, Proceedings, pp. 35-47, 1983, Springer, 3-540-13878-1. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
18 | Robert M. Curtice, P. E. Jones Jr. |
Fundamentals of Data Element Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, USA, April 29 - May 1, 1981, pp. 49-55, 1981, ACM Press, 978-0-89791-040-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
18 | Richard L. Phillips |
Definition and Manipulation of Graphical Entities in Geographic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base Techniques for Pictorial Applications ![In: Data Base Techniques for Pictorial Applications, Florence, Italy, June 20-22, 1979, Proceedings, pp. 115-133, 1979, Springer, 3-540-09763-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
18 | Wolfgang Henhapl, Cliff B. Jones |
A Formal Definition of Algol 60 as Described in the 1975 Modified Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Vienna Development Method: The Meta-Language ![In: The Vienna Development Method: The Meta-Language, pp. 305-336, 1978, Springer, 3-540-08766-4. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
18 | Billy G. Claybrook |
A File Definition Facility for File Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Workshop, Vol. 1 ![In: Proceedings of 1974 ACM-SIGMOD Workshop on Data Description, Access and Control, Ann Arbor, Michigan, USA, May 1-3, 1974, 2 Volumes, pp. 1-14, 1974, ACM, 978-1-4503-7415-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Workshop, Vol. 1 ![In: Proceedings of 1974 ACM-SIGMOD Workshop on Data Description, Access and Control, Ann Arbor, Michigan, USA, May 1-3, 1974, 2 Volumes, pp. 83-100, 1974, ACM, 978-1-4503-7415-6. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
18 | K. Bandat |
On the formal definition of PL/I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS Spring Joint Computing Conference ![In: American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1968 Spring Joint Computer Conference, Atlantic City, NJ, USA, 30 April - 2 May 1968, pp. 363-373, 1968, Thomson Book Company, Washington D.C., 978-1-4503-7897-0. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
17 | Isabel Dietrich, Falko Dressler |
On the lifetime of wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 5(1), pp. 5:1-5:39, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. ![In: J. Comput. Virol. 3(1), pp. 3-21, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Mehmet Mutlu Yenisey |
Axiomatic Design Approach for E-Commercial Web Sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 308-315, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2005, 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005, Proceedings, pp. 404-421, 2005, Springer, 3-540-25910-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Denise de Vries, Sally Rice, John F. Roddick |
In Support of Mesodata in Database Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 15th International Conference, DEXA 2004 Zaragoza, Spain, August 30-September 3, 2004, Proceedings, pp. 663-674, 2004, Springer, 3-540-22936-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Yehuda Lindell |
General Composition and Universal Composability in Secure Multi-Party Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 44th Symposium on Foundations of Computer Science (FOCS 2003), 11-14 October 2003, Cambridge, MA, USA, Proceedings, pp. 394-403, 2003, IEEE Computer Society, 0-7695-2040-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 10(4), pp. 529-540, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
expedited forwarding, differentiated services, delay jitter |
17 | Klaus Lindpaintner |
Genetics and genemoics: impact on drug discovery and development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Fifth Annual International Conference on Computational Biology, RECOMB 2001, Montréal, Québec, Canada, April 22-25, 2001, pp. 221-222, 2001, ACM, 1-58113-353-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Stuart A. Yeates, David Bainbridge 0001, Ian H. Witten |
Using Compression to Identify Acronyms in Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: Data Compression Conference, DCC 2000, Snowbird, Utah, USA, March 28-30, 2000., pp. 582, 2000, IEEE Computer Society, 0-7695-0592-9. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 34(4), pp. 1016-1018, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Jimmy Leblet, Jean-Xavier Rampon |
Inductive Characterizations of Finite Interval Orders and Semiorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(3), pp. 277-281, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Intelligent Engineering and Information Technology ![In: Towards Intelligent Engineering and Information Technology, pp. 543-556, 2009, Springer, 978-3-642-03736-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. New Trends, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I, pp. 652-659, 2009, Springer, 978-3-642-02573-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 719-728, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
usability, user experience, survey, definition, iso |
16 | Dilek Basci, Sanjay Misra |
Entropy metric for XML DTD documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 33(4), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
document type definition, entropy, XML schema, W3C, complexity metric |
Displaying result #201 - #300 of 17404 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|