Search results for "domains"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Sampo Sovio, N. Asokan, Kaisa Nyberg	Defining Authorization Domains Using Virtual Devices.	SAINT Workshops	2003	DBLP DOI BibTeX RDF
11	Rashmi R. Sinha	Persona development for information-rich domains.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	design, user profiles, personas, information architecture
11	Valeri P. Il'in, Svetlana A. Litvinenko, V. M. Sveshnikov	Parallelization of Alternating Direction Implicit Methods for Three-Dimensional Domains.	PaCT	2003	DBLP DOI BibTeX RDF
11	Crescencio Bravo, Miguel A. Redondo, Manuel Ortega 0001, José Bravo 0001	Organizing Problem Solving Activities for Synchronous Collaborative Learning of Design Domains.	ICWE	2003	DBLP DOI BibTeX RDF
11	PariVallal Kannan, Dinesh Bhatia	Interconnect Estimation for FPGAs under Timing Driven Domains.	ICCD	2003	DBLP DOI BibTeX RDF
11	Saravanan Rajapandian, Zheng Xu 0003, Kenneth L. Shepard	Charge-Recycling Voltage Domains for Energy-Efficient Low-Voltage Operation of Digital CMOS Circuits.	ICCD	2003	DBLP DOI BibTeX RDF
11	Jiejun Kong, Shirshanka Das, Edward Tsai, Mario Gerla	ESCORT: a decentralized and localized access control system for mobile wireless access to secured domains.	Workshop on Wireless Security	2003	DBLP DOI BibTeX RDF	decentralized access control, identity privacy, mobile privacy, location privacy, wireless security
11	Wasfy B. Mikhael, Venkatesh Krishnan	A new linear predictor employing vector quantization in nonorthogonal domains for high quality speech coding.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
11	Khurshid Ahmad 0001, Mariam Tariq, Bogdan Vrusias, Chris Handy	Corpus-Based Thesaurus Construction for Image Retrieval in Specialist Domains.	ECIR	2003	DBLP DOI BibTeX RDF
11	Pradiptya Ghosh, Chung-shin Kang, Michael Sanie, David Pinto 0003	New DFM Approach Abstracts AltPSM Lithography Requirements for sub-100nm IC Design Domains.	ISQED	2003	DBLP DOI BibTeX RDF
11	S. Subramani, Balan Gurumoorthy	Associativity between feature models across domains.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF	3D clipping, feature editing, concurrent engineering, feature based modeling
11	Sanjay Madria	Preface to XSDM 2003.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
11	Sébastien Gaspard, Florida Estrella, Richard McClatchey, Régis Dindeleux	Managing Evolving Business Workflows through the Capture of Descriptive Information.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
11	Jens Hoefkens, Martin Berz	Verification of Invertibility of Complicated Functions over Large Domains.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
11	Reinaldo A. Bergamaschi	Bridging the domains of high-level and logic synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
11	I. Burak Özer, Wayne H. Wolf	A hierarchical human detection system in (un)compressed domains.	IEEE Trans. Multim.	2002	DBLP DOI BibTeX RDF
11	Stefano Berrone, Laurent Emmel	Towards a Realization of a Wavelet Galerkin Method on Non-Trivial Domains.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	Wavelet Element Method - Wavelet Galerkin Methods, C++ data structures
11	Takahiro Shinagawa, Kenji Kono, Takashi Masuda	Flexible and Efficient Sandboxing Based on Fine-Grained Protection Domains.	ISSS	2002	DBLP DOI BibTeX RDF
11	S. K. Tomar, Pravir Dutt, B. V. Rathish Kumar	An Efficient and Exponentially Accurate Parallel h-p Spectral Element Method for Elliptic Problems on Polygonal Domains - The Dirichlet Case.	HiPC	2002	DBLP DOI BibTeX RDF
11	AbdulMohsen Al-Thubaity, Khurshid Ahmad 0001	Tracking Knowledge of Emergent Domains.	IV	2002	DBLP DOI BibTeX RDF
11	Xiaolong Jin, Jiming Liu 0001	Multiagent SAT (MASSAT): Autonomous Pattern Search in Constrained Domains.	IDEAL	2002	DBLP DOI BibTeX RDF	Autonomous Pattern Search, Satisfiability Problem (SAT), MASSAT, Multiagent System
11	Nicos Angelopoulos	Probabilistic Finite Domains: A Brief Overview.	ICLP	2002	DBLP DOI BibTeX RDF
11	Ranjit Nair, Milind Tambe, Stacy Marsella	Team Formation for Reformation in Multiagent Domains Like RoboCupRescue.	RoboCup	2002	DBLP DOI BibTeX RDF
11	Tobias Berka, Wernher Behrendt, Erich Gams, Siegfried Reich	Recommending Internet-Domains Using Trails and Neural Networks.	AH	2002	DBLP DOI BibTeX RDF
11	Mikael Sollenborn, Peter Funk 0001	Category-Based Filtering in Recommender Systems for Improved Performance in Dynamic Domains.	AH	2002	DBLP DOI BibTeX RDF
11	Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea	Lazy Theorem Proving for Bounded Model Checking over Infinite Domains.	CADE	2002	DBLP DOI BibTeX RDF
11	Pin-Han Ho, Hussein T. Mouftah	Allocation of Protection Domains in Dynamic WDM Mesh Networks.	ICNP	2002	DBLP DOI BibTeX RDF	lighgtpath, shared protection, diverse routing, working and protection paths, wavelength division multiplexing (WDM)
11	Mihye Kim, Paul Compton	Web-Based Document Management for Specialised Domains: A Preliminary Evaluation.	EKAW	2002	DBLP DOI BibTeX RDF
11	John Black, Phillip Rogaway	Ciphers with Arbitrary Finite Domains.	CT-RSA	2002	DBLP DOI BibTeX RDF	Provable security, Modes of Operation, Symmetric Encryption, Ciphers
11	Sascha Schmitt, Philipp Dopichaj, Patricia Domínguez-Marín	Entropy-Based vs. Similarity-Influenced: Attribute Selection Methods for Dialogs Tested on Different Electronic Commerce Domains.	ECCBR	2002	DBLP DOI BibTeX RDF
11	Óscar Sapena, Eva Onaindia	Domain-Independent Online Planning for STRIPS Domains.	IBERAMIA	2002	DBLP DOI BibTeX RDF
11	José M. Vidal	The effects of cooperation on multiagent search in task-oriented domains.	AAMAS	2002	DBLP DOI BibTeX RDF	multiagent search, task-oriented domain
11	Melanie J. Ashleigh, Neville A. Stanton	Trust: Key Elements in Human Supervisory Control Domains.	Cogn. Technol. Work.	2001	DBLP DOI BibTeX RDF	Human supervisory control, Trust, Technology, Teams
11	Q. Hu, D. Yu	A Solution Method for a Certain Nonlinear Interface Problem in Unbounded Domains.	Computing	2001	DBLP DOI BibTeX RDF	65R20, 65N38, AMS Subject Classifications: 65N30
11	Scott Henninger	Organizational Learning in Dynamic Domains.	LSO	2001	DBLP DOI BibTeX RDF
11	Ibrahim Khalil, Torsten Braun	Implementation of a Bandwidth Broker for Dynamic End-to-End Capacity Reservation over Multiple Diffserv Domains.	MMNS	2001	DBLP DOI BibTeX RDF
11	Ilaria Torre 0001	Goals, Tasks and Application Domains as the Guidelines for Defining a Framework for User Modelling.	User Modeling	2001	DBLP DOI BibTeX RDF	Framework and dimensions for user modelling, ontology for adaptation features, reusable user modelling components, adaptive hypermedia
11	Weigang Wang, Alejandro Fernández	A Graphical User Interface Integrating Features from Different Hypertext Domains.	OHS-7/SC-3/AH-3	2001	DBLP DOI BibTeX RDF
11	Mohammed Javeed Zaki	Sequence Mining in Categorical Domains: Algorithms and Applications.	Sequence Learning	2001	DBLP DOI BibTeX RDF
11	Xiaohua Kong, Radu Negulescu, Larry Weidong Ying	Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip.	CHARME	2001	DBLP DOI BibTeX RDF
11	Mehdi Dastani, Bipin Indurkhya	Modeling Context Effect in Perceptual Domains.	CONTEXT	2001	DBLP DOI BibTeX RDF
11	Mario E. Agueda, Pablo H. Ibargüengoytia	An Architecture for Planning in Uncertain Domains.	ICTAI	2001	DBLP DOI BibTeX RDF
11	Jesualdo Tomás Fernández-Breis, Dagoberto Castellanos Nieves, Rafael Valencia-García, Pedro José Vivancos Vicente, Rodrigo Martínez-Béjar, Manuel De las Heras-González	Towards scott domains-based topological ontology models.	FOIS	2001	DBLP DOI BibTeX RDF	ontology, topology
11	Lori S. Levin, Alon Lavie, Monika Woszczyna, Donna Gates, Marsal Gavaldà, Detlef Koll, Alex Waibel	The Janus-III Translation System: Speech-to-Speech Translation in Multiple Domains.	Mach. Transl.	2000	DBLP DOI BibTeX RDF	JRTk, robust parsing, semantic grammars, SOUP, multi-domain, speech translation
11	Udo Diewald, Tobias Preußer, Martin Rumpf	Anisotropic Diffusion in Vector Field Visualization on Euclidean Domains and Surfaces.	IEEE Trans. Vis. Comput. Graph.	2000	DBLP DOI BibTeX RDF	segmentation, Flow visualization, multiscale, nonlinear diffusion
11	John R. Michener, Tolga Acar	Security Domains: Key Management in Large-Scale Systems.	IEEE Softw.	2000	DBLP DOI BibTeX RDF
11	Daniel Winterstein, Alan Bundy, Mateja Jamnik	A Proposal for Automating Diagrammatic Reasoning in Continuous Domains.	Diagrams	2000	DBLP DOI BibTeX RDF
11	Serge Vaudenay	Decorrelation over Infinite Domains: The Encrypted CBC-MAC Case.	Selected Areas in Cryptography	2000	DBLP DOI BibTeX RDF
11	Slim Abdennadher, Christophe Rigotti	Automatic Generation of Propagation Rules for Finite Domains.	CP	2000	DBLP DOI BibTeX RDF
11	Carmen L. R. Santos, Celso R. Souza, Pedro Paulo Balbi de Oliveira, Phil Husbands	Using the GasNet Model in Discrete Domains.	SBRN	2000	DBLP DOI BibTeX RDF
11	Irina V. Tselishcheva, Grigorii I. Shishkin	A Domain Decomposition Finite Difference Method for Singularly Perturbed Elliptic Equations in Composed Domains.	NAA	2000	DBLP DOI BibTeX RDF
11	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith	Gateways for Accessing Fault Tolerance Domains.	Middleware	2000	DBLP DOI BibTeX RDF
11	Tjavdar Ivanov, Vladimir Maz'ya, Gunther Schmidt 0002	Boundary layer approximate approximations and cubature of potentials in domains.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	volume potentials, semi-analytic cubature formulae, approximate approximations, approximate multi-resolution, 65N38, 65D32, 65D15
11	Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel	Deciding Equality Formulas by Small Domains Instantiations.	CAV	1999	DBLP DOI BibTeX RDF
11	Marius Bozga, Oded Maler	On the Representation of Probabilities over Structured Domains.	CAV	1999	DBLP DOI BibTeX RDF
11	David B. Lomet, Mark R. Tuttle	Logical Logging to Extend Recovery to New Domains.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
11	Dan Corbett	A Case for Variable-Arity Relations: Definitions and Domains.	ICCS	1999	DBLP DOI BibTeX RDF
11	Rodrigo Martínez-Béjar, Francisca Ibáñez-Cruz, Thong Le-Gia, Tri M. Cao, Paul Compton	FMR: An Incremental Knowledge Acquisition System for Fuzzy Domains.	EKAW	1999	DBLP DOI BibTeX RDF
11	Masahito Kurihara, Hisashi Kondo	Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
11	Carol L. Redfield, Benjamin Bell, Patricia Y. Hsieh, Joseph Lamos, R. Bowen Loftin, David Palumbo	Methodologies for Tutoring in Procedural Domains.	Intelligent Tutoring Systems	1998	DBLP DOI BibTeX RDF
11	William W. Cohen	Integration of Heterogeneous Databases Without Common Domains Using Queries Based on Textual Similarity.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
11	Hélène Collavizza, François Delobel, Michel Rueher	A Note on Partial Consistencies over Continuous Domains.	CP	1998	DBLP DOI BibTeX RDF
11	Robert Gage, Ben Brown	The CAT-exact data transfer to DDS-generated clock domains in a single-chip modular solution.	ITC	1998	DBLP DOI BibTeX RDF
11	Eyðun Eli Jacobsen, Bent Bruun Kristensen, Palle Nowack	Models, Domains and Abstraction in Software Development.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	Modeling, Software Architecture, Software Development Methodologies, Object-Oriented Software Development
11	Karsten Schmidt 0004	Siphons, Traps and High-Level Nets with Infinite Color Domains.	ICATPN	1997	DBLP DOI BibTeX RDF	THEORY: Analysis and synthesis, Higher-level net models, structure and behaviour of nets
11	Charles C. Taylor, Gholamreza Nakhaeizadeh	Learning in Dynamically Changing Domains: Theory Revision and Context Dependence Issues.	ECML	1997	DBLP DOI BibTeX RDF
11	Andreas Birk 0001	Modeling the Application Domains of Software Engineering Technologies.	ASE	1997	DBLP DOI BibTeX RDF	application domain modelling, software engineering technologies, systematic software engineering technology reuse, improvement program planning, software reusability, software project planning, software development practices
11	Dao Nam Anh, Richard Moore	Formal Modeling of Large Domains.	APSEC	1996	DBLP DOI BibTeX RDF
11	Philip S. Santas	Conditional Categories and Domains.	DISCO	1996	DBLP DOI BibTeX RDF
11	Antonio Giancaspro, Sergio Losito	A plan-generating systems constructor for cooperative application domains.	J. Intell. Robotic Syst.	1995	DBLP DOI BibTeX RDF	interacting agents, Planning, space robotics
11	Robert Meersman	Some Methodology and Representation Problems for the Semantics of Prosaic Application Domains (Extended Abstract).	ISMIS	1994	DBLP DOI BibTeX RDF
11	Meinhard Paffrath, Karl Steger	Method of temporary coordinate domains for moving boundary value problems [semiconductor processing simulation].	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
11	R. Bhart Roa, Stephen C. Y. Lu	A Knowledge-Based Equation Discovery System for Engineering Domains.	IEEE Expert	1993	DBLP DOI BibTeX RDF
11	Yuri Leonidovich Ershov	Theory of Domains and Nearby (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
11	Felipe Bracho, Manfred Droste	From Domains to Automata with Concurrency.	ICALP	1993	DBLP DOI BibTeX RDF
11	Boyan A. Onyshkevych, Mary Ellen Okurowski, Lynn Carlson	Tasks, domains, and languages.	MUC	1993	DBLP DOI BibTeX RDF
11	Allen Van Gelder	Multiple Join Size Estimation by Virtual Domains.	PODS	1993	DBLP DOI BibTeX RDF
11	Reinhold Heckmann	Probabilistic Power Domains, Information Systems, and Locales.	MFPS	1993	DBLP DOI BibTeX RDF
11	Stephen D. Brookes, Shai Geva	Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF.	MFPS	1993	DBLP DOI BibTeX RDF
11	Eric Goubault	Domains of Higher-Dimensional Automata.	CONCUR	1993	DBLP DOI BibTeX RDF
11	Ronitt Rubinfeld, Madhu Sudan 0001	Self-Testing Polynomial Functions Efficiently and Over Rational Domains.	SODA	1992	DBLP BibTeX RDF
11	David Eichmann	Supporting Multiple Domains in a Single Reuse Repository.	SEKE	1992	DBLP DOI BibTeX RDF
11	Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide	Data Modelling in Complex Application Domains.	CAiSE	1992	DBLP DOI BibTeX RDF
11	Thomas Diessel, Axel Lehmann 0001	An ITS for Engineering Domains: Concept, Design and Application.	ICCAL	1992	DBLP DOI BibTeX RDF
11	Christoph Schnörr	Determining optical flow for irregular domains by minimizing quadratic functionals of a certain class.	Int. J. Comput. Vis.	1991	DBLP DOI BibTeX RDF
11	Roberto M. Amadio	Domains in a Realizability Framework.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
11	Uwe Schmidt 0002, Hans-Martin Hörcher	Programming with VDM Domains.	VDM Europe	1990	DBLP DOI BibTeX RDF
11	Reinhold Heckmann	Set Domains.	ESOP	1990	DBLP DOI BibTeX RDF
11	Guo-Qiang Zhang 0001	DI-Domains as Information Systems (Extended Abstract).	ICALP	1989	DBLP DOI BibTeX RDF
11	Benny Chor, Eyal Kushilevitz	Secret Sharing Over Infinite Domains (Extended Abstract).	CRYPTO	1989	DBLP DOI BibTeX RDF
11	Joseph S. B. Mitchell	On Maximum Flows in Polyhedral Domains.	SCG	1988	DBLP DOI BibTeX RDF
11	Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri	OBJSA Nets: a Class of High- level Nets Having Objects as Domains.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
11	Achim Jung	New Results on Hierarchies of Domains.	MFPS	1987	DBLP DOI BibTeX RDF
11	Gunther Schmidt 0001, Rudolf Berghammer, Hans Zierer 0001	Describing Semantic Domains with Sprouts.	STACS	1987	DBLP DOI BibTeX RDF
11	Sylvia L. Osborn, T. E. Heaven	The Design of a Relational Database System with Abstract Data Types for Domains.	ACM Trans. Database Syst.	1986	DBLP DOI BibTeX RDF
11	Elias N. Houstis, William F. Mitchell, John R. Rice	Algorithm 637: GENCOL: Collocation of General Domains with Bicubic Hermite Polynomials.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF	FORTRAN
11	Elias N. Houstis, William F. Mitchell, John R. Rice	Algorithm 638: INTCOL and HERMCOL: Collocation on Rectangular Domains with Bicubic Hermite Polynomials.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF	FORTRAN
11	Carl A. Gunter	Comparing Categories of Domains.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
11	Michael B. Smyth	Power Domains and Predicate Transformers: A Topological View.	ICALP	1983	DBLP DOI BibTeX RDF
9	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF