Search results for "totality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Antonio Bucciarelli, Ivano Salvo	Totality, Definability and Boolean Ciruits.	ICALP	1998	DBLP DOI BibTeX RDF	Scott's Model, Logical Relations, Boolean Circuits, PCF
78	Ulrich Berger 0001	Density Theorems for the Domains-with-Totality Semantics of Dependent Types.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	totality, dependent types, universes, domains, continuous functionals
72	Christine Tasson	Algebraic Totality, towards Completeness.	TLCA	2009	DBLP DOI BibTeX RDF
72	Kirsten Lackner Solberg	Strictness and Totality Analysis with Conjunction.	TAPSOFT	1995	DBLP DOI BibTeX RDF
45	Lill Kristiansen, Dag Normann	Total objects in inductively defined types.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
42	Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena	Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory.	ICTCS	2005	DBLP DOI BibTeX RDF
42	Geir Waagbø	Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
27	Sandeep Kumar Sharma, Vijay Shankar Sharma, Shakila Basheer, Amit Chaurasia, Chiranji Lal Chowdhary	An Astute Automaton Model for Objects Extraction Using Outer Totality Cellular Automata (OTCA).	IEEE Access	2023	DBLP DOI BibTeX RDF
27	Dragan Stevanovic	Ordering Starlike Trees by the Totality of Their Spectral Moments.	Order	2022	DBLP DOI BibTeX RDF
27	Karen S. Osmundsen, Christian Meske, Devinder Thapa	Familiarity with digital twin totality: Exploring the relation and perception of affordances through a Heideggerian perspective.	Inf. Syst. J.	2022	DBLP DOI BibTeX RDF
27	Basil A. Karádais	Nonflatness and totality.	Math. Struct. Comput. Sci.	2019	DBLP DOI BibTeX RDF
27	Srecko Kovac	The Totality of Predicates and the Possibility of the Most Real Being.	FLAP	2018	DBLP BibTeX RDF
27	Lucila Maria Costi Santarosa, Débora Conforto, Fernanda Chagas Schneider	One Computer per Student City - Total UCA An All Inclusive Totality under Discussion.	J. Univers. Comput. Sci.	2013	DBLP DOI BibTeX RDF
27	Yuting Wang 0001, Gopalan Nadathur	Towards Extracting Explicit Proofs from Totality Checking in Twelf.	CoRR	2013	DBLP BibTeX RDF
27	Yuting Wang 0001, Gopalan Nadathur	Towards extracting explicit proofs from totality checking in twelf.	LFMTP	2013	DBLP DOI BibTeX RDF
27	Pierre Clairambault, Russ Harmer	Totality in arena games.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
27	Pierre Clairambault	Logique et Interaction : une Étude Sémantique de la Totalité. (Logic and Interaction : a Semantic Study of Totality).		2010	RDF
27	Christine Tasson	Algebraic totality, towards completeness	CoRR	2009	DBLP BibTeX RDF
27	Justin Zobel, Alistair Moffat, Laurence Anthony F. Park	Against recall: is it persistence, cardinality, density, coverage, or totality?	SIGIR Forum	2009	DBLP DOI BibTeX RDF
27	Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena	Enforcing and defying associativity, commutativity, totality, and strong noninvertibility for worst-case one-way functions.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
27	Shouhui Zhao, Dongbo Zhang	The Totality of Chinese Characters - A Digital Perspective.	J. Chin. Lang. Comput.	2007	DBLP BibTeX RDF
27	Shweta Aneja, Youn-Kyung Lim	Designing for totality of mobile and non-mobile interaction: a case study.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	information capture, non-mobile context, real estate industry, shared interaction, evaluation, mobility, user experience, user centered design, information management, user research, mobile context
27	Yixiang Chen, Guo-Qiang Zhang 0001	Maximality and totality of stable functions in the category of stable bifinite domains.	Comput. Math. Appl.	2006	DBLP DOI BibTeX RDF
27	Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena	Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory	CoRR	2005	DBLP BibTeX RDF
27	Mohammad Fraiwan Al-Saleh	On the totality of ranked set sampling.	Appl. Math. Comput.	2004	DBLP DOI BibTeX RDF
27	Ulrich Berger 0001	Computability and Totality in Domains.	Math. Struct. Comput. Sci.	2002	DBLP DOI BibTeX RDF
27	Mario Coppo, Ferruccio Damiani, Paola Giannini	Strictness, totality, and non-standard-type inference.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
27	Ronald E. Day	Totality and representation: A history of knowledge management through European documentation, critical modernity, and post-Fordism.	J. Assoc. Inf. Sci. Technol.	2001	DBLP DOI BibTeX RDF
27	Gordon D. Plotkin	Full abstraction, totality and PCF.	Math. Struct. Comput. Sci.	1999	DBLP BibTeX RDF
27	Andrej Bauer	Equilogical spaces and domains with totality.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
27	Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson	Strictness and Totality Analysis.	Sci. Comput. Program.	1998	DBLP DOI BibTeX RDF
27	Christos H. Papadimitriou, Mihalis Yannakakis	Tie-Breaking Semantics and Structural Totality.	J. Comput. Syst. Sci.	1997	DBLP DOI BibTeX RDF
27	Mario Coppo, Ferruccio Damiani, Paola Giannini	On Strictness and Totality.	TACS	1997	DBLP DOI BibTeX RDF
27	Erkki Mäkinen	(0,1)-Totality is Undecidable for Arbitrary Context-Free Grammars.	Fundam. Informaticae	1996	DBLP DOI BibTeX RDF
27	Gerhard Jäger, Thomas Strahm	Totality in Applicative Theories.	Ann. Pure Appl. Log.	1995	DBLP DOI BibTeX RDF
27	Kenneth A. Ross	Structural Totality and Constraint Stratification.	PODS	1995	DBLP DOI BibTeX RDF	Datalog
27	Lill Kristiansen, Dag Normann	Interpreting higher computations as types with totality.	Arch. Math. Log.	1994	DBLP DOI BibTeX RDF
27	Ralph Loader	Linear Logic, Totality and Full Completeness	LICS	1994	DBLP DOI BibTeX RDF
27	Kirsten Lackner Solberg	Strictness and Totality Analysis.	SAS	1994	DBLP DOI BibTeX RDF
27	Christos H. Papadimitriou, Mihalis Yannakakis	Tie-Breaking Semantics and Structural Totality.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
27	John A. Mills	Semantic Integrity of the Totality of Corporate Data.	ICSI	1990	DBLP BibTeX RDF
15	Ivan Marchesini, Corrado Cencetti, Pierluigi De Rosa	A preliminary method for the evaluation of the landslides volume at a regional scale.	GeoInformatica	2009	DBLP DOI BibTeX RDF	GRASS GIS, Landslide volume, 3D slope stability analysis
15	Luciano Floridi	Against digital ontology.	Synth.	2009	DBLP DOI BibTeX RDF	Analogue, Digital ontology, Digital physics, Informational structural realism, Kant’s antinomies, Structural realism, Continuous, Digital, Discrete
15	Mats Lind, Jimmy Johansson 0001, Matthew D. Cooper	Many-to-Many Relational Parallel Coordinates Displays.	IV	2009	DBLP DOI BibTeX RDF
15	Dhrupad Mathur	Business Process Transformation Grid: An Empirical Model for Strategic Decision Making Towards IT Enabled Transformations.	BIS (Workshops)	2009	DBLP DOI BibTeX RDF	IT-enablement, Grid, Transformation, Process, e-Business
15	Antonio Villegas, Antoni Olivé	On Computing the Importance of Entity Types in Large Conceptual Schemas.	ER Workshops	2009	DBLP DOI BibTeX RDF
15	Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez	Embedding a logical theory of constructions in Agda.	PLPV	2009	DBLP DOI BibTeX RDF	general recursion, logical theory of constructions, type theory
15	Vanderson Botelho, Fabrício Enembreck, Bráulio Coelho Ávila, Hilton de Azevedo, Edson Emílio Scalabrin	Encrypted certified trust in multi-agent system.	CSCWD	2009	DBLP DOI BibTeX RDF
15	Diederik Aerts, Bart D'Hooghe	Classical Logical Versus Quantum Conceptual Thought: Examples in Economics, Decision Theory and Concept Theory.	QI	2009	DBLP DOI BibTeX RDF
15	James D. Edge, Adrian Hilton 0001, Philip J. B. Jackson	Model-based synthesis of visual speech movements from 3D video.	SIGGRAPH Posters	2009	DBLP DOI BibTeX RDF
15	Jorge Santos 0002, Rodrigo M. Santos, Javier Orozco	On the Feasibility of Early Detection of Environmental Events through Wireless Sensor Networks and the Use of 802.15.4 and GPRS.	GSN	2009	DBLP DOI BibTeX RDF	environmental events, wireless sensor network, Early warning
15	Tosca Lahiri, Mark Woodman	A Business Service Selection Model for Automated Web Service Discovery Requirements.	ICEIS	2009	DBLP DOI BibTeX RDF	Business Service Model, Web Services, Interoperability, Requirements, Discovery
15	Marc Denecker, Eugenia Ternovska	A logic of nonmonotone inductive definitions.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	logic programming, classical logic, Inductive definitions
15	Bartel A. Van de Walle, Murray Turoff	Decision support for emergency situations.	Inf. Syst. E Bus. Manag.	2008	DBLP DOI BibTeX RDF	Emergency situations, Information systems, Decision support, Crisis management, High reliability
15	Vimal K. Reddy, Eric Rotenberg	Coverage of a microarchitecture-level fault check regimen in a superscalar processor.	DSN	2008	DBLP DOI BibTeX RDF
15	Zhikun Zhang, Jianguo Xiao, Hanyi Li, Youping Geng	An Extended Permission-Based Delegation Authorization Model.	CSSE (3)	2008	DBLP DOI BibTeX RDF
15	Paola Perchinunno, Francesco Rotondo, Carmelo Maria Torre	A Multivariate Fuzzy Analysis for the Regeneration of Urban Poverty Areas.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	urban poverty, urban regeneration, fuzzy, semantic distance, multicriteria analysis
15	Antonina Kolokolova	Many Facets of Complexity in Logic.	CiE	2008	DBLP DOI BibTeX RDF
15	Baltasar Trancón y Widemann, David Lorge Parnas	Tabular Expressions and Total Functional Programming.	IFL	2007	DBLP DOI BibTeX RDF
15	Hyunkyoung Cho, Joonsung Yoon	How to See the Beauty That Is Not There : The Aesthetic Element of Programming in the Computer- Based Media Art.	HCI (15)	2007	DBLP DOI BibTeX RDF	beauty, aesthetic object, open code, subject, code reading
15	Tsau Young Lin	Granular Computing and Modeling the Human Thoughts in Web Documents.	IFSA (1)	2007	DBLP DOI BibTeX RDF	rough set, topology, granular computing, simplicial complex, neighborhood system
15	Christopher J. Prom, Christopher A. Rishel, Scott W. Schwartz, Kyle J. Fox	A unified platform for archival description and access.	JCDL	2007	DBLP DOI BibTeX RDF	Archon, archival information systems, encoded archival description, databases, web interfaces
15	Eva-Henrietta Dulf, Clement Festila	Model Predictive Control of the (13c) Isotope Separation Column.	SACI	2007	DBLP DOI BibTeX RDF
15	Victor V. Toporkov	Multicriteria Scheduling Strategies in Scalable Computing Systems.	PaCT	2007	DBLP DOI BibTeX RDF	scheduling, scalability, resource allocation, strategy, quality criteria
15	Xicai Yue, Emmanuel M. Drakakis, Hua Ye, Mayasari Lim, Athanasios Mantalaris, Nicki Panoskaltsis, Anna Radomska, Chris Toumazou, T. Cass	An On-line, Multi-Parametric, Multi-Channel Physicochemical Monitoring Platform for Stem Cell Culture Bioprocessing.	ISCAS	2007	DBLP DOI BibTeX RDF
15	Raul Hakli, Sara Negri	Proof Theory for Distributed Knowledge.	CLIMA	2007	DBLP DOI BibTeX RDF
15	Foued Melakessou, Ulrich Sorger, Zdzislaw Suchanecki, Charles King	Route diversity: A future for transmission protocols?	BROADNETS	2007	DBLP DOI BibTeX RDF
15	Ricardo José Colom-Palero, Rafael Gadea Gironés, Angel Sebastià-Cortés	A Novel FPGA Architecture of a 2-D Wavelet Transform.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	image processing, VLSI, signal processing, programmable logic device
15	Yun Chi, Belle L. Tseng, Jun'ichi Tatemura	Eigen-trend: trend analysis in the blogosphere based on singular value decompositions.	CIKM	2006	DBLP DOI BibTeX RDF	higher-order singular value decomposition, singular value ecomposition, blog, trend analysis, blogosphere
15	Ernest Mnkandla, Barry Dwolatzky	Defining Agile Software Quality Assurance.	ICSEA	2006	DBLP DOI BibTeX RDF	agile quality assurance, software development, software quality, Agile methodologies
15	Tsau Young Lin, Mong-Hang Vo	Granular Computing: Modeling Human Thoughts in the Web by Polyhedron.	WImBI	2006	DBLP DOI BibTeX RDF
15	Naftaly H. Minsky	Law-governed multi-agent systems: from anarchy to order.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
15	Olivier Beaumont, Arnaud Legrand, Loris Marchal, Yves Robert	Pipelining Broadcasts on Heterogeneous Platforms.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	Scheduling, grids, heuristics, broadcast, NP-completeness, collective communications, heterogeneous clusters
15	Sanjay Rawat 0001, Ved Prakash Gulati, Arun K. Pujari	A Fast Host-Based Intrusion Detection System Using Rough Set Theory.	Trans. Rough Sets	2005	DBLP DOI BibTeX RDF	Data mining, Intrusion Detection, Rough Set, Decision Table, Anomaly, Misuse
15	J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt	Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.	POPL	2005	DBLP DOI BibTeX RDF	bi-directional programming, XML, lenses, harmony, view update problem
15	Bernd Mahr, Sebastian Bab	inT-Integration of Logics.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
15	Elena V. Goncharova, Alexander I. Ovseevich	Limit Shapes of Reachable Sets for Linear Control Systems.	LSSC	2005	DBLP DOI BibTeX RDF
15	Jordi Casademont, Ferran Perdrix, Martin Einhoff, Josep Paradells, Georg Dummer, Anne Boyer	ELIN: A Framework to Deliver Media Content in an Efficient Way Based in MPEG Standards.	ICWS	2005	DBLP DOI BibTeX RDF
15	Eliane Martins, Vanessa Gindri Vieira	Regression Test Selection for Testable Classes.	EDCC	2005	DBLP DOI BibTeX RDF
15	Mordechai Ben-Menachem, Garry S. Marliss	Inventorying Information Technology Systems: Supporting the "Paradigm of Change".	IEEE Softw.	2004	DBLP DOI BibTeX RDF	enterprise asset classes, IT portfolio managemen, asset management, software economics
15	Peter G. Neumann	The big picture.	Commun. ACM	2004	DBLP DOI BibTeX RDF
15	Peter Y. A. Ryan	Shedding Light on Haunted Corners of Information Security.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
15	Olivier Beaumont, Arnaud Legrand, Loris Marchal, Yves Robert	Pipelining Broadcasts on Heterogeneous Platforms.	IPDPS	2004	DBLP DOI BibTeX RDF
15	Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann	Modular Proof Systems for Partial Functions with Weak Equality.	IJCAR	2004	DBLP DOI BibTeX RDF
15	Noriyuki Kushiro, Yukio Ohsawa	A Chance Discovery Process to Understanding Spiral Behaviors of Consumers.	KES	2004	DBLP DOI BibTeX RDF
15	Boris A. Galitsky	A Library of Behaviors: Implementing Commonsense Reasoning About Mental World.	KES	2004	DBLP DOI BibTeX RDF
15	Josh Buresh-Oppenheim, Tsuyoshi Morioka	Relativized NP Search Problems and Propositional Proof Systems.	CCC	2004	DBLP DOI BibTeX RDF
15	Mathieu Ciet, Christophe Giraud 0001	Transient Fault Induction Attacks on XTR.	ICICS	2004	DBLP DOI BibTeX RDF	public-key system XTR, smart cards, countermeasures, Differential fault analysis
15	N. Venkateswaran 0002, C. Chandramouli	General Purpose Processor Architecture for Modeling Stochastic Biological Neuronal Assemblies.	ICES	2003	DBLP DOI BibTeX RDF
15	Anton Riabov, Zhen Liu 0001, Joel L. Wolf, Philip S. Yu, Li Zhang 0002	New Algorithms for Content-Based Publication-Subscription Systems.	ICDCS	2003	DBLP DOI BibTeX RDF
15	Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam	Testing Safety Critical Ada Code Using Non Real Time Testing.	Ada-Europe	2003	DBLP DOI BibTeX RDF
15	Dag Normann	Continuity, proof systems and the theory of transfinite computations.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
15	Dag Normann	Representation theorems for transfinite computability and definability.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
15	Anton Riabov, Zhen Liu 0001, Joel L. Wolf, Philip S. Yu, Li Zhang 0002	Clustering Algorithms for Content-Based Publication-Subscription Systems.	ICDCS	2002	DBLP DOI BibTeX RDF
15	Andrew P. Kosoresow, Matthew P. Johnson 0001	Finding Worst-Case Instances of, and Lower Bounds for, Online Algorithms Using Genetic Algorithms.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	genetic algorithms, Evolutionary algorithms, search, online algorithms, optimization algorithms
15	G. M. Germano, Stefano Mazzanti	Non-Deterministic Closure Theory and Universal Arrows.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	closure theory, reflection theory, universal arrows, non-deterministic programs, while-do commands
15	Ken Kaneiwa, Satoshi Tojo	An Order-Sorted Resolution with Implicitly Negative Sorts.	ICLP	2001	DBLP DOI BibTeX RDF
15	Richard Rasala, Jeff Raab, Viera K. Proulx	Java power tools: model software for teaching object-oriented design.	SIGCSE	2001	DBLP DOI BibTeX RDF	Java
15	Mihalis Psarakis, Antonis M. Paschalis, Nektarios Kranitis, Dimitris Gizopoulos, Yervant Zorian	Robust and Low-Cost BIST Architectures for Sequential Fault Testing in Datapath Multipliers.	VTS	2001	DBLP DOI BibTeX RDF
15	David A. Duffy, Jürgen Giesl	Closure Induction in a Z-Like Language.	ZB	2000	DBLP DOI BibTeX RDF