Search results for "Proposition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Dale Jacquette	Propositions, Sets, and Worlds.	Stud Logica	2006	DBLP DOI BibTeX RDF	Abstract entity, Jubien, Michael, logically possible world, modal actualism, modal (platonic) realism, ontological commitment, ontology, modal logic, set, proposition
58	Jean-Yves Béziau	Sentence, proposition and identity.	Synth.	2007	DBLP DOI BibTeX RDF	Language, Identity, Syntax, Congruence, Formula, Sentence, Proposition
45	Madhukar N. Thakur, John Dinsmore	Time representation based on knowledge partitioning (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
43	C. T. H. Everaars, Bert Lisser	Coordination of a Parallel Proposition Solver.	COORDINATION	1999	DBLP DOI BibTeX RDF
40	Shengli Zhang, Zhenghua Pan	One New Interpretation of Infinite Valued for Medium Proposition Logic.	FSKD (6)	2009	DBLP DOI BibTeX RDF	medium proposition logic, three-valued model, infinite-valued model, completeness and soundness
36	M. José Escalona, Jesús Torres 0001, Manuel Mejías	Requirements Capture Workflow in Global Information Systems.	OOIS	2002	DBLP DOI BibTeX RDF	Global Information System, global interface, navigation, requirements, development methodology
34	Andrea Kohlhase, Michael Kohlhase	Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
33	Mohammed N. Dewan, Baolin Wu, Yun Yang 0001	Value Process and Business Process in E-Business Modelling.	I3E	2005	DBLP DOI BibTeX RDF	Value process, Business process, Value, Value proposition, E-business model
33	Alexander Osterwalder, Yves Pigneur	Modeling value propositions in e-Business.	ICEC	2003	DBLP DOI BibTeX RDF	business model design, ontology, business model, business strategy, value proposition
32	Conghui Niu, Mengyang Hu, Lin Bo, Xiaoli He, Dong Yu 0003, Pengyuan Liu 0001	Proposition from the Perspective of Chinese Language: A Chinese Proposition Classification Evaluation Benchmark.	CoRR	2023	DBLP DOI BibTeX RDF
32	Arnaud Laurent	Proposition et étude d'une extension du RCPSP pour la Mutualisation entre plusieurs sites : définition, formalisation, méthodes exactes et métaheuristiques. (Proposition and study of an extension of the RCPSP with resource pooling between distant sites).		2017	RDF
32	Imane Bouhaddou	Vers une optimisation de la chaine logistique : proposition de modèles conceptuels basés sur le PLM (Product Lifecycle Management). (Towards supply chain optimization : proposition of conceptual models based on PLM (Product Lifecycle Management)).		2015	RDF
32	Stefania Calarasanu	Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms. (Amélioration d'une chaîne de détection de texte et proposition d'un nouveau protocole d'évaluation d'algorithmes de détection de texte).		2015	RDF
32	Johan Royer	Proposition d'une méthodologie de modélisation et de réorganisation du circuit du médicament dans les pharmacies hospitalières. (Proposition of modelling and reorganization methodology for the medication-use process in hospital pharmacies).		2014	RDF
32	Thi Thuong Huyen Nguyen	Proposition of new metaphors and techniques for 3D interaction and navigation preserving immersion and facilitating collaboration between distant users. (Proposition de nouvelles techniques d'interaction 3D et de navigation 3D préservant l'immersion de l'utilisateur et facilitant la collaboration entre utilisateurs distants).		2014	RDF
32	Nathalie Klement	Planification et affectation de ressources dans les réseaux de soin : analogie avec le problème du bin packing, proposition de méthodes approchées. (Planning and resources assignment in healthcare networks : analogy with the bin packing problem, proposition of approximate methods).		2014	RDF
32	Alexandre Mouradian	Proposition et vérification formelle de protocoles de communications temps-réel pour les réseaux de capteurs sans fil. (Proposition and formal verification of real-time wireless sensor networks protocols).		2013	RDF
32	Clémentine Cornu	Contribution à la prise en compte de l'interopérabilité pour le déploiement de processus complexes dans une grande entreprise : proposition d'un guide méthodologique outillé pour les processus d'Ingénierie Système. (Contribution to the consideration of interoperability for the deployment of complex processes in a large company : proposition of a methodological and equipped guide for Systems Engineering processes).		2012	RDF
32	Grégory Claude	Modélisation de documents et recherche de points communs - Proposition d'un framework de gestion de fiches d'anomalie pour faciliter les maintenances corrective et préventive. (Documents modeling and similarities searching - Proposition of a framework for the management of defect documents to optimize corrective and preventive maintenances).		2012	RDF
32	Ashish Karmacharya	Intégration d'une couche spatiale dans l'architecture du Web sémantique : une proposition via la plateforme ArchaeoKM. (Introduction of a spatial layer in the Semantic Web framework : a proposition through the Web platform ArchaeoKM).		2011	RDF
32	Jean-Charles Huet	Proposition d'une méthodologie de réingénierie pour le contrôle par le produit de systèmes manufacturiers : application au circuit du médicament d'un hôpital. (Proposition of reengineering methodology for the product driven of manufacturing systems : application to the medication-use process).		2011	RDF
32	Benoît Guédas	Proposition de compromis pour le calcul de solutions préférées à l'aide d'un algorithme évolutionnaire multiobjectif en optimisation multidisciplinaire. (Proposition of compromises for the computation of preferred solutions with a multiobjective evolutionary algorithm in multidisciplinary design optimisation).		2010	RDF
32	Nada El-Khoury	Proposition et simulation de modèles numériques de compréhension d'un patrimoine : le théâtre romain de Byblos au Liban. (Proposition and simulation of digital models for understanding Cultural Heritage : case study of the Roman theater of Byblos, Lebanon).		2008	RDF
32	Adrien van den Bossche	Proposition d'une nouvelle méthode d'accès déterministe pour un réseau personnel sans fil à fortes contraintes temporelles. (Proposition of a new deterministic medium access method for time-constrained wireless personal area networks).		2007	RDF
32	Vincent René Léon Thomas	Proposition d'un formalisme pour la construction automatique d'interactions dans les systèmes multi-agents réactifs. (Proposition of a formalism for automatic construction of interactions in reactive multi-agent system).		2005	RDF
32	Jean Marcelo Simão	A Contribution to the Development of a HMS Simulation Tool and Proposition of a Meta-Model for Holonic Control. (Contribution au Développement d'un Outil de Simulation de Systèmes Holoniques de Production et Proposition d'un Meta-Modèle de Contrôle Holonique).		2005	RDF
32	Mario Diaz-Nava	Proposition d'une méthodologie de conception de circuits intégrés de communication : réalisation d'un communicateur pour le réseau local FIP. (Proposition of a methodology of communication integrated circuit design: implementation of a communication circuit for the FIP local net).		1986	RDF
27	Caslav Brukner	Quantum complementarity and logical indeterminacy.	Nat. Comput.	2009	DBLP DOI BibTeX RDF	Quantum complementarity, Logical indeterminacy, Mathematical undecidability
27	Wasimon Panichpattanakul, Béatrice Paillassa, Benoît Escrig, Daniel Roviras	A proxy cooperative diversity method based on IEEE 802.11 standards.	IWCMC	2009	DBLP DOI BibTeX RDF	proxy diversity, IEEE 802.11, cooperative communications
27	Caslav Brukner	Quantum Experiments Can Test Mathematical Undecidability.	UC	2008	DBLP DOI BibTeX RDF
27	Khalil Djelloul	An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.	CSCLP	2008	DBLP DOI BibTeX RDF
27	Gang Chen, Ruimin Shen, Jiajun Wang, Zeyu Chen	Collaborative Education Model and Its Application in E-learning.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
27	Yusuke Yamamoto, Taro Tezuka, Adam Jatowt, Katsumi Tanaka	Honto? Search: Estimating Trustworthiness of Web Information by Search Results Aggregation and Temporal Analysis.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF
27	Friederike Moltmann	Unbound Anaphoric Pronouns: E-Type, Dynamic, and Structured-Propositions Approaches.	Synth.	2006	DBLP DOI BibTeX RDF
25	Grégory Bourguin	Proposition pour une gestion dynamique de l'inter-activités dans le TCAO.	IHM	2004	DBLP DOI BibTeX RDF	interactivities, CSCW, integration, groupware, tailorability
25	Hans de Nivelle	Splitting Through New Proposition Symbols.	LPAR	2001	DBLP DOI BibTeX RDF
25	Bernard C. Y. Tan, Kwok Kee Wei, Choon-Ling Sia, Krishnamurthy S. Raman	A Partial Test of the Task-medium Fit Proposition in a Group Support System Environment.	ACM Trans. Comput. Hum. Interact.	1999	DBLP DOI BibTeX RDF	group support systems, task type, media richness
24	Asleena Helmi, Zainal Arifin Ahmad, Daisy Mui Hung Kee	Understanding Organizational Learning via Knowledge Management in Government-Link Companies in Malaysia.	WSKS (2)	2009	DBLP DOI BibTeX RDF	knowledge strategy, knowledge management, Organizational learning, value proposition
24	Steffen Zimmermann	Governance im IT-Portfoliomanagement - Ein Ansatz zur Berücksichtigung von Strategic Alignment bei der Bewertung von IT.	Wirtschaftsinf.	2008	DBLP DOI BibTeX RDF	risk-/return-position, surface of efficiency, IT-governance, strategic alignment, value proposition
24	Jim Spohrer, Laura C. Anderson, Norman J. Pass, Tryg Ager, Daniel Gruhl	Service Science.	J. Grid Comput.	2008	DBLP DOI BibTeX RDF	SSME, ISPAR model, Grid computing, Virtual organization, Service science, Service system, Value proposition
24	Elin Rønby Pedersen, Greg Wolff	Paper interface to electronic medical records: a case of usage-driven technology appropriation.	Conference on Designing Interactive Systems	2008	DBLP DOI BibTeX RDF	usage-informed design, work practice study, ethnography, rapid prototyping, healthcare, agile development, electronic medical record, barcode, paper interface, value proposition
24	Jinchang Wang	A cost-reducing question-selection algorithm for propositional knowledge-based systems.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	knowledge-based system, inference engine, proposition
24	Rolly Intan, Masao Mukaidono	Fuzzy Conditional Probability Relations and their Applications in Fuzzy Information Systems.	Knowl. Inf. Syst.	2004	DBLP DOI BibTeX RDF	Data querying, Fuzzy conditional probability relation, Fuzzy information system dependency, Fuzzy proposition, Fuzzy sets, Knowledge discovery and data mining, Fuzzy functional
24	Alex Abramovich	Towards Human Oriented WWW.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	Human experience, activity proposition, personal world, domain world, ontology
24	John Mylopoulos, Alexander Borgida, Matthias Jarke, Manolis Koubarakis	Telos: Representing Knowledge About Information Systems.	ACM Trans. Inf. Syst.	1990	DBLP DOI BibTeX RDF	belief time, history time, knowledge base, integrity constraints, class, metaclass, instance, Telos, temporal knowledge, proposition, deductive rules
18	Marie-Hélène Gorisse	The Art of Non-asserting: Dialogue with Nagarjuna.	ICLA	2009	DBLP DOI BibTeX RDF
18	Mark Bickford	Unguessable Atoms: A Logical Foundation for Security.	VSTTE	2008	DBLP DOI BibTeX RDF
18	Kyoungmin Lee, Il Hong Suh, Sang-Rok Oh, Wan Kyun Chung	Conflict evaluation method for grid maps using sonar sensors.	IROS	2008	DBLP DOI BibTeX RDF
18	Yoshitaka Suzuki, Satoshi Tojo, Stijn De Saeger	Iterated Belief Revision in the Face of Uncertain Communication.	DALT	2008	DBLP DOI BibTeX RDF
18	Daron Green, Terry Young	Value Propositions for Information Systems in Healthcare.	HICSS	2008	DBLP DOI BibTeX RDF
18	Peter W. Hanks	How Wittgenstein Defeated Russell's Multiple Relation Theory of Judgment.	Synth.	2007	DBLP DOI BibTeX RDF
18	Bernhard Banaschewski	The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 46E25, 54C30
18	Hassene Bouhouch, Sihem Guemara El Fatmi	QoS Routing In Ad Hoc Networks by Integreting Activity in the OLSR Protocol.	ICSNC	2007	DBLP DOI BibTeX RDF
18	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	Building Decision Procedures in the Calculus of Inductive Constructions.	CSL	2007	DBLP DOI BibTeX RDF	Calculus of Inductive Constructions, Decision procedures, Theorem provers
18	Berit Brogaard	The 'Gray's Elegy' Argument, and The Prospects for the Theory of Denoting Concepts.	Synth.	2006	DBLP DOI BibTeX RDF
18	Wei Zhang 0001	Comments on "Maximum diversity in single-carrier frequency-domain Equalization".	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
18	Stefan Figge, Sven Theysohn	Quantifizierung IKS-basierter Marktleistungen.	Wirtschaftsinf.	2006	DBLP DOI BibTeX RDF	Mobile Telecommunications Industry, Business Models, Mobile Commerce, Conjoint-Analysis
18	Jayesh Prasad, Harvey G. Enns, Thomas W. Ferratt	IT HRM practices: best practices vs. configurations.	CPR	2006	DBLP DOI BibTeX RDF	configurational theory, universalistic mode of theorizing
18	Paul Boisson, Stéphane Clerc, Jean-Christophe Desconnets, Thérèse Libourel	Using a Semantic Approach for a Cataloguing Service.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
18	Joanna Moulierac, Miklós Molnár	Active Monitoring of Link Delays in Case of Asymmetric Routes.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
18	Ossi Taipale, Kari Smolander	Improving software testing by observing practice.	ISESE	2006	DBLP DOI BibTeX RDF	software testing, process improvement, grounded theory
18	Anahita Gouya, Noël Crespi, Emmanuel Bertin, Lina Oueslati	Managing Service Capability and Service Feature Interactions in the IMS of UMTS.	ICNS	2006	DBLP DOI BibTeX RDF	Service Capability and Feature Interaction Management, SIP, IMS
18	Dan Ophir, Amos E. Gera	Coursewares' Generating.	ITRE	2006	DBLP DOI BibTeX RDF
18	Malrey Lee, Tae-eun Kim	The construction of a fuzzy inference network by extension of the rule inference network.	Neural Comput. Appl.	2005	DBLP DOI BibTeX RDF	Neural logic network, Propagation rule, Fuzzy inference network
18	Shane Greenstein	Explorers and expanders, both early and late.	IEEE Micro	2005	DBLP DOI BibTeX RDF	AT&T, Explorers, Wi-Fi, expanders, AOL
18	Elena Akhmatova, Diego Mollá	Recognizing Textual Entailment Via Atomic Propositions.	MLCW	2005	DBLP DOI BibTeX RDF
18	Johan Kwisthout, Mehdi Dastani	Modelling Uncertainty in Agent Programming.	DALT	2005	DBLP DOI BibTeX RDF
18	Li Wang, Zeng-zhi Li, Yanping Chen 0001	A Control Theoretic Analysis of Mixed TCP and UDP Traffic under RED Based on Nonlinear Dynamic Model.	ICITA (2)	2005	DBLP DOI BibTeX RDF
18	Karen L. Joy, Smita Dattatri	Implementing a fuzzy relational database using community defined membership values.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF
18	Denivaldo Lopes, Slimane Hammoudi, Jean Bézivin, Frédéric Jouault	Generating Transformation Definition from Mapping Specification: Application to Web Service Platform.	CAiSE	2005	DBLP DOI BibTeX RDF	Tools for MDA, Web Services, Model Driven Architecture (MDA)
18	Murray E. Jennex	The Issue of System Use in Knowledge Management Systems.	HICSS	2005	DBLP DOI BibTeX RDF
18	Thierry Ernst	Decreasing Mobile IPv6 Signaling with XCAST.	ICOIN	2005	DBLP DOI BibTeX RDF
18	Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä	Tampere Verification Tool.	TACAS	2004	DBLP DOI BibTeX RDF
18	Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre	Inferring Trust.	CLIMA	2004	DBLP DOI BibTeX RDF
18	Adam Zachary Wyner	Maintaining Obligations on Stative Expressions in a Deontic Action Logic.	DEON	2004	DBLP DOI BibTeX RDF
18	Takanori Ono, Naohiro Kaji, Yuji Horikoshi, Hisayuki Kuriyama, Khaled Ragab, Kinji Mori	Autonomous Decentralized Community Construction Technology to Assure Quality of Services.	FTDCS	2004	DBLP DOI BibTeX RDF	Service-oriented Community, Situation-aware Services and Autonomous Decentralized System
18	John C. Whelan, Mahes Visvalingam	Formulated Silhouettes for Sketching Terrain.	TPCG	2003	DBLP DOI BibTeX RDF	Algorithmic Sketching, Terrain Visualisation, P-strokes, Silhouettes, Occluding Contours
18	Jeff B. Paris	A semantics for Fuzzy Logic.	Soft Comput.	1997	DBLP DOI BibTeX RDF	Truth Functionality, Fuzzy Logic, Vagueness
18	Jixin Ma 0001, Brian Knight, Taoxin Peng	Representing Temporal Relationships between Events and their Effects.	TIME	1997	DBLP DOI BibTeX RDF
18	Girish Seshagiri	Continuous Process Improvement - Why Wait Till Level 5?	HICSS (1)	1996	DBLP DOI BibTeX RDF
18	Hans van der Heijden, René W. Wagenaar, Jo van Nunen, Frans Van den Bosch	Redesigning process control mechanisms using EDI. An agency-theoretic perspective.	HICSS (4)	1995	DBLP DOI BibTeX RDF	process control mechanisms, agency-theoretic perspective, process re-engineering, process control, Transportation, systems re-engineering, electronic data interchange, EDI, Electronic Data Interchange, management information systems, agencies, agency theory
18	James R. Slagle, Philip Bursky	Experiments With a Multipurpose, Theorem-Proving Heuristic Program.	J. ACM	1968	DBLP DOI BibTeX RDF
16	Tasnim Mraihi, Olfa Belkahla Driss, Hind Bril El Haouzi	Distributed Permutation Flow Shop Scheduling Problem with Worker flexibility: Review, trends and model proposition.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
16	Ruining Deng, Quan Liu, Can Cui 0006, Tianyuan Yao, Jialin Yue, Juming Xiong, Lining Yu, Yifei Wu, Mengmeng Yin, Yu Wang, Shilin Zhao, Yucheng Tang, Haichun Yang, Yuankai Huo	PrPSeg: Universal Proposition Learning for Panoramic Renal Pathology Segmentation.	CoRR	2024	DBLP DOI BibTeX RDF
16	Reihaneh Hajishirzi, Carlos J. Costa, Manuela Aparicio	The Impact of Technology and Change Management on Value Proposition Innovation: An Iranian Study.	IEEE Trans. Engineering Management	2024	DBLP DOI BibTeX RDF
16	Lixu Li, Yang Tong, Yaoqi Liu, Shuili Yang	Artificial Intelligence-Enabled Customer Value Proposition Capability and Market Performance: The Moderating Role of Environmental Heterogeneity.	IEEE Trans. Engineering Management	2024	DBLP DOI BibTeX RDF
16	Beatrice Hillary Sinawang, Anak Agung Ngurah Perwira Redi, Michael Nayat Young, Yogi Tri Prasetyo	Optimizing Value Proposition and Customer Engagement in Mobile Applications: Using UML with Process Chain Analysis.	ICCMB	2024	DBLP DOI BibTeX RDF
16	Mandeep Kaur Saggi, Sushma Jain, Amandeep Singh Bhatia, Rakesh Sharda	Proposition of new ensemble data-intelligence model for evapotranspiration process simulation.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
16	F. M. Javed Mehedi Shamrat, Shamima Akter, Sami Azam, Asif Karim, Pronab Ghosh, Zarrin Tasnim, Khan Md. Hasib, Friso De Boer, Kawsar Ahmed	AlzheimerNet: An Effective Deep Learning Based Proposition for Alzheimer's Disease Stages Classification From Functional Brain Changes in Magnetic Resonance Images.	IEEE Access	2023	DBLP DOI BibTeX RDF
16	Ruchi Jayaswal, Manish Dixit	AI-based face mask detection system: a straightforward proposition to fight with Covid-19 situation.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
16	Thierry Berger, Thérèse Bonte, Yassine Idel Mahjoub, Yves Sallez	Proposition of a software-assisted methodology to solve safety issues in reconfigurable assembly systems in a short time.	Int. J. Comput. Integr. Manuf.	2023	DBLP DOI BibTeX RDF
16	Vânia F. L. Miranda, Henrique J. P. Alves, Daniel Furtado Ferreira	Proposition and validation of multivariate tests of independence between two groups of variables.	Commun. Stat. Simul. Comput.	2023	DBLP DOI BibTeX RDF
16	Alexander Kouptsov, Jagjit Singh Srai	Value proposition-driven reconfiguration of business models in dynamic industries: a design-science approach.	Bus. Process. Manag. J.	2023	DBLP DOI BibTeX RDF
16	Pedro Antunes 0001, José A. Pino, Mathews Nkhoma, Nguyen Hoang Thuan	The composite approach as a hybrid approach to business process modeling: proposition and empirical evaluation.	Bus. Process. Manag. J.	2023	DBLP DOI BibTeX RDF
16	Keyvan Ansari, Khondokar Fida Hasan	Proposition of Augmenting V2X Roadside Unit to Enhance Cooperative Awareness of Heterogeneously Connected Road Users.	CoRR	2023	DBLP DOI BibTeX RDF
16	Youngmo Kim, Seok-Yoon Kim, Chyapol Kamyod, Byeongchan Park	Proposition of Rubustness Indicators for Immersive Content Filtering.	J. Web Eng.	2023	DBLP DOI BibTeX RDF
16	Izaias de Souza Silva, Diego Tarley Ferreira Nascimento, Patrícia de Araújo Romão, Gladis de Fatima Nunes da Silva, Maurício Martines Sales, Marta Pereira da Luz	Proposition of LULC mapping in progressive detailing for the surroundings of hydroelectric powerplant reservoirs: Case study for the Batalha (Brazil).	Int. J. Appl. Earth Obs. Geoinformation	2023	DBLP DOI BibTeX RDF
16	Mingyu Zhao, Jianping Chen, Shengyuan Song, Yongchao Li, Fengyan Wang, Sicong Wang, Dianze Liu	Proposition of UAV multi-angle nap-of-the-object image acquisition framework based on a quality evaluation system for a 3D real scene model of a high-steep rock slope.	Int. J. Appl. Earth Obs. Geoinformation	2023	DBLP DOI BibTeX RDF
16	Clara Bove, Marie-Jeanne Lesot, Charles Albert Tijus, Marcin Detyniecki	Investigating the Intelligibility of Plural Counterfactual Examples for Non-Expert Users: an Explanation User Interface Proposition and User Study.	IUI	2023	DBLP DOI BibTeX RDF
16	Xiaofeng Bai, Kaijun Wu, Chenshuai Bai	Proposition of Remote Sensing Image Object Detection Algorithm Based on EYOLOv3i.	DSIT	2023	DBLP DOI BibTeX RDF