Search results for "domains"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Sally Rice, John F. Roddick, Denise de Vries	Defining and implementing domains with multiple types using mesodata modelling techniques.	APCCM	2006	DBLP BibTeX RDF	coarse granularity, hierarchical domains, intelligent domains, mesodata, multiply-typed domains, data integration, incomplete information, relational model, intervals, vagueness
45	Wilfred Ng	Querying Databases with Knowledge Domains.	IDEAS	2000	DBLP DOI BibTeX RDF	knowledge domains, data domains, user-defined predicates, Knowledge Relational Algebra, knowledge domain classes, query language classes, computable queries, query, relational algebra
42	Hideki Tsuiki	Uniform Domains and Uniform Spaces: (Abstract).	Workshop on Domains	2002	DBLP DOI BibTeX RDF
42	Romain Trinquart, Solange Lemai, Stéphane Cambon	One Step on the Left, One Step on the Right, and Back to the Middle: Exploring Temporal Domains in a POP Fashion.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
42	Giovanni Sambin	Formal topology and domains.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
42	Andrej Bauer	Equilogical spaces and domains with totality.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
41	Sakti P. Ghosh	Statistical Relational Databases: Normal Forms.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	statistical relational databases, derived identifier, class identifier, derived class-counts, count domains, compact domains, uniform domains, relational decompositions, statistical abnormalities, outlyers, relational databases, SQL, statistical analysis, query languages, normal forms, structured query language, relational tables
40	Carsten Lutz, Maja Milicic	A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	concrete domains, tableau algorithm, description logic, decidability
36	Reinaldo Matushima, Yeda Regina Venturini, Rony R. M. Sakuragui, Tereza Cristina M. B. Carvalho, Wilson Vicente Ruggiero, Mats Näslund, Makan Pourzandi	Multiple personal security domains.	IWCMC	2006	DBLP DOI BibTeX RDF	domains composition, security enforcement layer, wireless networks, ad hoc, personal networks, security domains
36	Linda G. DeMichiel	Resolving Database Incompatibility: An Approach to Performing Relational Operations over Mismatched Domains.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	database incompatibility, mismatched domains, conflicting attributes, common domains, virtual attributes, one-one mappings, attribute mappings, extended relational operators, relational databases, data integrity, relational operations
35	Abbas Edalat, Michael B. Smyth	Information categories.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Scott information systems, I-category, categories of domains, Stone spaces, initial algebra, domain equations
34	Martín Escardó, Achim Jung (eds.)	Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002	Workshop on Domains	2004	DBLP BibTeX RDF
34	Maria Fox 0001, Alexandra M. Coddington (eds.)	AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Gordon D. Plotkin, A. John Power	Computational Effects and Operations: An Overview.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
34	John Longley	On the Ubiquity of Certain Total Type Structures: (Extended Abstract).	Workshop on Domains	2002	DBLP DOI BibTeX RDF
34	Dag Normann	A Nonstandard Characterisation of the Type-structure of Continuous Functionals Over the Reals.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
34	Christopher F. Townsend	Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
34	Thierry Vallée	Map Theory: From Well-Foundation to Antifoundation.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
34	Keye Martin, Joël Ouaknine	Informatic vs. Classical Differentiation on the Real Line.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
34	Martín Hötzel Escardó, Achim Jung	Preface.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
34	Amin Farjudian	Sequentiality and Piecewise-affinity in Segments of Real-PCF.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
34	Michael Huth 0001, Shekhar Pradhan	Consistent Partial Model Checking.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
34	Maria Emilia Maietti, Silvio Valentini	Exponentiation of Scott Formal Topologies.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
34	Vincent Schmitt	Enriched Categories and Quasi-uniform Spaces.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
34	Oded Maler	Timed Automata as an Underlying Model for Planning and Scheduling.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Alexandra M. Coddington	Handling Durative Actions in a Continuous Planning Framework.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Minh Binh Do, Subbarao Kambhampati	Improving the Temporal Flexibility of Position Constrained Temporal Plans.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Yannis Dimopoulos, Alfonso Gerevini	Temporal Planning through Mixed Integer Programming.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Amol Dattatraya Mali	Encoding Temporal Planning as CSP.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Stefan Edelkamp	Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Maria Fox 0001, Derek Long	Fast Temporal Planning in a Graphplan Framework.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Fusun Yaman, Dana S. Nau	Timeline: An HTN Planner that can Reason about Time.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Eliseo Marzal, Eva Onaindia, Laura Sebastia	An Incremental Temporal Partial-Order Planner.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	John L. Bresina, Richard Dearden, Nicolas Meuleau, David E. Smith 0001, Richard Washington	Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Antonio Garrido	A Temporal Planning System for Level 3 Durative Actions of PDDL+.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Biplav Srivastava	Temporal Constraints and the "Physics versus Advice" Issue from a Practical Perspective.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
34	Dieter Spreen, Ralf Greb, Holger Schulz, Michel P. Schellekens (eds.)	Workshop on Domains IV 1998, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998	Workshop on Domains	2000	DBLP BibTeX RDF
34	Jaap van Oosten, Alex K. Simpson	Some axiomatic results in synthetic domain theory.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Jürgen Koslowski	Strategies for games with state - An application of the Chu-construction.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Holger Schulz	Type two theory of effectivity and Real PCF.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Regina Tix	Convex power constructions for continuous d-cones.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Dominique Larchey-Wendling, Didier Galmiche	Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Dag Normann	The continuous functionals of finite types over the reals.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Victor J. Pollara	Free SFP-algebras for truncation-closed sets of inequations.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Lars Birkedal	On propositions-as-types in realizability models.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Karl-Heinz Niggl	Characterizing polytime through higher type recursion.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Dana S. Scott	Effective versions of equilogical spaces.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Dag Normann	The Cook-Berger problem - A guide to the solution.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	John Longley	Matching typed and untyped realizability.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Pierre Valarcher	Intensional semantics of system T of Gödel.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Werner Struckmann	A general theorem on the total correctness of programs in a category.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Rudolf Berghammer	Soundness of a purely syntactical formalizationof weakest preconditions.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Birgit Elbl	Justifying control for logic programs.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Hans-Peter A. Künzi, Michel P. Schellekens	The ideal completion is not sequentially adequate.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Giovanni Curi	Metric spaces in type theory via formal topology.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Yuri Leonidovich Ershov	Sigma predicates of finite types.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Thomas Ehrhard	A relative PCF-definability result for strongly stable functions and some corollaries.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Stefano Berardi, Chantal Berline	Building continuous webbed models for system F.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Michael Marz	A fully abstract model for sequential computation.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	Dieter Spreen	Preface.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
34	John R. Cowles, Ruben Gamboa	Unique factorization in ACL2: Euclidean domains.	ACL2	2006	DBLP DOI BibTeX RDF	Boyer-Moore logic, Euclidean domains, unique factorization, ACL2
34	Martin Lippert, Stefan Roock	Adapting XP to complex application domains.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	clients and users, complex application domains, on-site-customer, planning game, extreme programming
33	John C. Munson, Darrell S. Werries	Measuring software evolution.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	space vehicles, software evolution measurement, sequential software builds, module complexity characteristics, software complexity domains, software system changes, attribute domains, problem indicators, measurement baseline, Space Shuttle Primary Avionics Software System, software metrics, avionics, aerospace computing, evolving software systems
33	Jiangling Wan, Michael P. Bieber, Jason Tsong-Li Wang, Peter A. Ng	LHM: a logic-based hypertext data model for integrating hypertext and information systems.	HICSS (3)	1995	DBLP DOI BibTeX RDF	LHM, logic-based hypertext data model, common language, independent information domains, logical bridge laws, application elements, data structures, information systems, hypermedia, document management, formal logic, expressive power, application domains, document handling, logic modeling, composite objects, high level descriptions
32	Ying Jiang, Guo-Qiang Zhang 0001	Weakly distributive domains (II).	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	weakly distributive domain, stable bifinite domain, meet-cpo, stable function, cartesian closed category
32	Isabella Mastroeni	Algebraic Power Analysis by Abstract Interpretation.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	algebraic power analysis, abstract interpretation, static program analysis, software watermarking, abstract domains
31	Parmit K. Chilana, Jacob O. Wobbrock, Amy J. Ko	Understanding usability practices in complex domains.	CHI	2010	DBLP DOI BibTeX RDF	complex domains, usability testing and evaluation, collaboration models, usability research
31	Ales Pultr, Anna Tozzi	Some Categorical Aspects of Information Systems and Domains.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Kleisli and Eilenberg-Moore categories of a monad, information systems, completion, domains
31	Carsten Lutz	NEXP TIME-complete description logics with concrete domains.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	NExpTime-completeness, concrete domains, domino problem, Computational complexity, description logic, post correspondence problem
31	Robert Sugar, Sándor Imre	Dynamic Agent Domains in Mobile Agent Based Network Management.	ICN (2)	2001	DBLP DOI BibTeX RDF	Dynamic agent domains, Adaptivity, Mobile agents, Network management
31	Mathias Kegelmann	Factorisation Systems on Domains.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	factorisation systems, stable domains, domain theory, Cartesian closed categories
31	Roberto Giacobazzi, Francesca Scozzari	A Logical Model for Relational Abstract Domains.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	Heyting completion, condensing analysis, directional types, reduced cardinal power, static analysis, abstract interpretation, constraint logic programming, domains, closure operators, intuitionistic logic
30	Francesco Logozzo, Manuel Fähndrich	Pentagons: a weakly relational abstract domain for the efficient validation of array accesses.	SAC	2008	DBLP DOI BibTeX RDF	NET framework, bounds checking, numerical domains, static analysis, abstract interpretation, abstract domains
30	Michael G. Burke, Barbara G. Ryder	A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	intraprocedural domains, critical analysis, incremental iterative data flow analysis algorithms, fixed point iteration solution, interprocedural domains, model, parallel algorithms, parallel programming
29	Ping Luo 0001, Fuzhen Zhuang, Hui Xiong 0001, Yuhong Xiong, Qing He 0003	Transfer learning from multiple source domains via consensus regularization.	CIKM	2008	DBLP DOI BibTeX RDF	consensus regularization, classification, transfer learning
29	Antoine Miné	A Few Graph-Based Relational Numerical Abstract Domains.	SAS	2002	DBLP DOI BibTeX RDF
29	Rune Møller Jensen, Manuela M. Veloso	OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-deterministic Domains.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF
29	Thierry Coquand, Carl A. Gunter, Glynn Winskel	DI-Domains as a Model of Polymorphism.	MFPS	1987	DBLP DOI BibTeX RDF
29	Jose C. Nacher, Tomoshiro Ochiai, Morihiro Hayashida, Tatsuya Akutsu	A Bipartite Graph Based Model of Protein Domain Networks.	Complex (1)	2009	DBLP DOI BibTeX RDF	Growing networks, scale-free networks, protein domains
28	Efraim Rotem, Avi Mendelson, Ran Ginosar, Uri C. Weiser	Multiple clock and voltage domains for chip multi processors.	MICRO	2009	DBLP DOI BibTeX RDF	clock domains, voltage domain, power management, DVFS, chip multi processor
28	Guichong Li, Nathalie Japkowicz, Trevor J. Stocki, R. Kurt Ungar	Instance Selection by Border Sampling in Multi-class Domains.	ADMA	2009	DBLP DOI BibTeX RDF	Border Sampling, Multi-class Domains, Class Binarization method, Instance Selection
28	Sonia Estévez Martín, Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda	Cooperation of constraint domains in the TOY system.	PPDP	2008	DBLP DOI BibTeX RDF	constraint domains and solvers, domain cooperation, functional and logic programming
28	Chuan Lin 0002, Hai Zhou 0001	Clock Skew Scheduling with Delay Padding for Prescribed Skew Domains.	ASP-DAC	2007	DBLP DOI BibTeX RDF	delay padding, prescribed skew domains, optimal skew scheduling algorithm, domain assignment, sequential circuit, flip-flops, memory elements, clock period, clock skew scheduling
28	Piero Fariselli, Daniele Molinini, Rita Casadio, Anders Krogh	Prediction of Structurally-Determined Coiled-Coil Domains with Hidden Markov Models.	BIRD	2007	DBLP DOI BibTeX RDF	coiled-coil domains, Hidden Markov models, Protein structure prediction
28	Jorge Rodas Osollo, Karina Gibert, J. Emilio Rojo	KDSM Methodology for Knowledge Discovery from Ill-Structured Domains Presenting Very Short and Repeated Serial Measures with Blocking Factor.	CCIA	2002	DBLP DOI BibTeX RDF	Serial Measures, Ill-Structured Domains, Clustering, Classification, Knowledge Discovery
28	Wilfred Ng	An extension of the relational data model to incorporate ordered domains.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF	Axiom system, chase rules, language expressiveness, mixed ordering, nonuniform completeness, order-preserving database automorphism, ordered SQL, ordered functional dependencies, ordered relational model, partially ordered domains, partially ordered relational algebra, pointwise ordering, valuation mapping, tableaux, lexicographical ordering, ordered relations, implication problem
27	Benny Chor, Mihály Geréb-Graus, Eyal Kushilevitz	Private Computations Over the Integers (Extended Abstract)	FOCS	1990	DBLP DOI BibTeX RDF	countable domains, private distributed computations, t-private Boolean functions, finite domains
27	Debasis Mitra 0001	Topics in Networking Research.	ITC	2007	DBLP DOI BibTeX RDF
27	Roger L. Norton	Information systems as implementations (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
26	Alberto Carraro, Antonino Salibra	Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.	LICS	2009	DBLP DOI BibTeX RDF
26	Hari Krishna Yalamanchili, Nita Parekh	Graph Spectral Approach for Identifying Protein Domains.	BICoB	2009	DBLP DOI BibTeX RDF	Domain prediction, Protein contact networks, Graph spectral analysis
26	Kamalesh Kumar Sharma, Shiv Dutt Joshi	Uncertainty Principle for Real Signals in the Linear Canonical Transform Domains.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
26	Ying Jiang, Guo-Qiang Zhang 0001	Weakly Distributive Domains.	TLCA	2007	DBLP DOI BibTeX RDF
26	Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari	Making abstract domains condensing.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	logic program analysis, abstract interpretation, completeness, linear logic, condensation, Abstract domain
26	Michael W. Mislove	Discrete Random Variables over Domains.	ICALP	2005	DBLP DOI BibTeX RDF
26	Carsten Lutz, Maja Milicic	A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.	TABLEAUX	2005	DBLP DOI BibTeX RDF
26	Longbing Cao, Dan Luo 0001, Chao Luo, Li Liu 0033	Ontology Transformation in Multiple Domains.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
26	Márcio Bartz Ceccon, Lisandro Zambenedetti Granville, Maria Janilce Bosquiroli Almeida, Liane Margarida Rockenbach Tarouco	Definition and Visualization of Dynamic Domains in Network Management Environments.	ICOIN	2003	DBLP DOI BibTeX RDF
26	Satoru Tezuka, Ryôichi Sasaki, Masanori Kataoka	Seamless Object Authentication in Different Security Policy Domains.	HICSS	2000	DBLP DOI BibTeX RDF
26	Franck van Breugel	Three Metric Domains of Processes for Bisimulation.	MFPS	1993	DBLP DOI BibTeX RDF