Search results for "Condition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Choong-Myung Kim, Donghoon Lee, Kichun Nam	Cerebral Activation Areas with Respect to Word and Sentence Production by Early and Late Korean-English Bilinguals: Event-Related fMRI Study.	ICONIP	2004	DBLP DOI BibTeX RDF
10	Leonid Libkin	Variable independence for first-order definable constraints.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	definable sets, polynomial constraints, variable independence, First-order logic, spatio-temporal databases, linear constraints
10	David Gamarnik, John J. Hasenbein	Weak instability in stochastic and fluid queueing networks.	SIGMETRICS Perform. Evaluation Rev.	2003	DBLP DOI BibTeX RDF	Harris recurrence, large deviations, fluid limits
10	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	Conditions on input vectors for consensus solvability in asynchronous distributed systems.	J. ACM	2003	DBLP DOI BibTeX RDF	fault-tolerance, message-passing, shared memory, Asynchronous systems, crash failures, atomic registers, consensus problem
10	Anand Srinivasan, James H. Anderson	Efficient Scheduling of Soft Real-Time Applications on Multiprocessors.	ECRTS	2003	DBLP DOI BibTeX RDF
10	Robin Milner	Bigraphs for Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
10	Ngo Dac Tan, Chawalit Iamjaroen	Constructions for Nonhamiltonian Burkard-Hammer Graphs.	IJCCGGT	2003	DBLP DOI BibTeX RDF
10	Jonathan C. Herzog	The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model.	CSFW	2003	DBLP DOI BibTeX RDF
10	Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, Teruo Higashino	Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking.	FPL	2003	DBLP DOI BibTeX RDF
10	Nutan D. Ahuja, Amit K. Agarwal, Ninad M. Mahajan, Naresh H. Mehta, Hatim N. Kapadia	GSR and HRV: Its Application in Clinical Diagnosis.	CBMS	2003	DBLP DOI BibTeX RDF
10	Ton Kloks, Chuan-Min Lee, Jiping Liu, Haiko Müller	On the Recognition of General Partition Graphs.	WG	2003	DBLP DOI BibTeX RDF
10	Patrick D. McDaniel	On context in authorization policy.	SACMAT	2003	DBLP DOI BibTeX RDF	policy-oriented programming, distributed systems, context, authorization, policy, security requirements
10	Sergey Kivva	Data Assimilation for 2-D Advection-Dispersion Equations.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
10	Jie Wu 0001, Fei Dai 0001	A Generic Distributed Broadcast Scheme in Ad Hoc Wireless Networks.	ICDCS	2003	DBLP DOI BibTeX RDF
10	Judee K. Burgoon, Gates Matthew Stoner, Joseph A. Bonito, Norah E. Dunbar	Trust and Deception in Mediated Communication.	HICSS	2003	DBLP DOI BibTeX RDF
10	Mark A. Neerincx, Jan Willem Streefkerk	Interacting in Desktop and Mobile Context: Emotion, Trust, and Task Performance.	EUSAI	2003	DBLP DOI BibTeX RDF
10	Alexis-Julien Bouquet, Olivier Serre, Igor Walukiewicz	Pushdown Games with Unboundedness and Regular Conditions.	FSTTCS	2003	DBLP DOI BibTeX RDF
10	Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu-Kai Chin	Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL.	MMM-ACNS	2003	DBLP DOI BibTeX RDF
10	Yongsheng Gao 0001, Maylor K. H. Leung	Face Recognition Using Line Edge Map.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	line edge map, line segment Hausdorff distance, Face recognition, structural information
10	József Beck, Sachin Lodha	Efficient proper 2-coloring of almost disjoint hypergraphs.	SODA	2002	DBLP BibTeX RDF
10	Atsushi Kameda, Nobuo Matsuura, Masahito Yamamoto, Azuma Ohuchi	An Analysis of Computational Efficiency of DNA Computing.	UMC	2002	DBLP DOI BibTeX RDF
10	Mahesh V. Joshi, Ramesh C. Agarwal, Vipin Kumar 0001	Predicting rare classes: can boosting make any weak learner strong?	KDD	2002	DBLP DOI BibTeX RDF	ANALYZE
10	Ryuhei Miyashiro, Hideya Iwasaki, Tomomi Matsui	Characterizing Feasible Pattern Sets with a Minimum Number of Breaks.	PATAT	2002	DBLP DOI BibTeX RDF
10	Josef Danek	Domain Decomposition Algorithm for Solving Contact of Elastic Bodies.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
10	Joachim Giesen, Matthias John 0003	Duality in Disk Induced Flows.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF	Computational geometry, Voronoi diagram, Delaunay triangulation
10	Irwin W. Sandberg	Stability and linearization: discrete-time systems.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
10	MaengSoon Baik, Jin Gon Shon, Kibom Kim, JinHo Ahn, Chong-Sun Hwang	An Efficient Coordinated Checkpointing Scheme Based on PWD Model.	ICOIN (2)	2002	DBLP DOI BibTeX RDF
10	Roman Slowinski, Salvatore Greco, Benedetto Matarazzo	Rough Set Analysis of Preference-Ordered Data.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF
10	Thomas Santen, Maritta Heisel, Andreas Pfitzmann	Confidentiality-Preserving Refinement is Compositional - Sometimes.	ESORICS	2002	DBLP DOI BibTeX RDF
10	Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger	Trading Probability for Fairness.	CSL	2002	DBLP DOI BibTeX RDF
10	David Gamarnik	On deciding stability of constrained random walks and queueing systems.	SIGMETRICS Perform. Evaluation Rev.	2001	DBLP DOI BibTeX RDF
10	Alexandr V. Kostochka, Douglas R. Woodall	Density Conditions for Panchromatic Colourings of Hypergraphs.	Comb.	2001	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) Classes: 05C65, 05C35, 05C15
10	Nir Friedman, Joseph Y. Halpern	Plausibility measures and default reasoning.	J. ACM	2001	DBLP DOI BibTeX RDF	?-semantics, ?-rankings, plausibility measures, preferential orderings nonmonotonic inference, default reasoning, possibility measures, Conditional logic
10	Rémi Gribonval, Morten Nielsen 0002	Approximate Weak Greedy Algorithms.	Adv. Comput. Math.	2001	DBLP DOI BibTeX RDF	greedy algorithm, nonlinear approximation
10	Thanh Tran 0003, Ernst P. Stephan	Two-Level Additive Schwarz Preconditioners for the h-p Version of the Galerkin Boundary Element Method for 2-d Problems.	Computing	2001	DBLP DOI BibTeX RDF	65N38, AMS Subject Classifications: 65N55
10	Hideo Murakami	A real-valued block filter bank with perfect-reconstruction property.	ICIP (3)	2001	DBLP DOI BibTeX RDF
10	Jessica J. Baldis	Effects of spatial audio on memory, comprehension, and preference during desktop conferences.	CHI	2001	DBLP DOI BibTeX RDF	focal assurance, communication, perception, memory, audio, 3D, sound, user preference, comprehension, spatial
10	Kyoko Yamori, Yoshiaki Tanaka, Haruo Akimaru	Price Optimization of Contents Delivery Systems with Priority.	ICN (1)	2001	DBLP DOI BibTeX RDF
10	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy	A hierarchy of conditions for consensus solvability.	PODC	2001	DBLP DOI BibTeX RDF	asynchronous shared memory, step complexity, fault-tolerance, consensus, snapshot
10	Zhiping Lin 0001, Jiang Qian Ying, Li Xu 0004	Further results on primitive factorizations for nD polynomial matrices.	ISCAS (2)	2001	DBLP DOI BibTeX RDF
10	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	Conditions on input vectors for consensus solvability in asynchronous distributed systems.	STOC	2001	DBLP DOI BibTeX RDF	fault-tolerance, consensus, asynchronous systems
10	Aggelos Kiayias, Moti Yung	Self Protecting Pirates and Black-Box Traitor Tracing.	CRYPTO	2001	DBLP DOI BibTeX RDF
10	Mitchell Wand	A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming.	SAIG	2001	DBLP DOI BibTeX RDF
10	Anindya Datta, Sang Hyuk Son, Vijay Kumar 0002	Is a Bird in the Hand Worth More than Two in the Bush? Limitations of Priority Cognizance in Conflict Resolution for Firm Real-Time Database Systems.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	performance evaluation, concurrency control, Real-time database systems
10	Kunihiro Fujiyoshi, Hiroshi Murata	Arbitrary convex and concave rectilinear block packing usingsequence-pair.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
10	Lauri Hella, Juha Nurmonen	Vectorization hierarchies of some graph quantifiers.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF	Ehrenfeucht-Fraïssé games, Vectorization, Finite model theory, Generalized quantifiers
10	Andrei Sabelfeld, David Sands 0001	Probabilistic Noninterference for Multi-Threaded Programs.	CSFW	2000	DBLP DOI BibTeX RDF	probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference
10	Leonid Libkin	Variable Independence, Quantifier Elimination, and Constraint Representations.	ICALP	2000	DBLP DOI BibTeX RDF
10	Yuhsuke Itoh, Makoto Haraguchi	Conceptual Classifications Guided by a Concept Hierarchy.	ALT	2000	DBLP DOI BibTeX RDF
10	Jennifer Lai, David Wood, Michael Considine	The effect of task conditions on the comprehensibility of synthetic speech.	CHI	2000	DBLP DOI BibTeX RDF	user study, comprehension, text-to-speech, synthetic speech
10	Rishiyur S. Nikhil, Umakishore Ramachandran	Garbage collection of timestamped data in Stampede.	PODC	2000	DBLP DOI BibTeX RDF
10	Eugenio Roanes-Macías, Eugenio Roanes-Lozano	Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem.	AISC	2000	DBLP DOI BibTeX RDF
10	Jay Belanger, Aduri Pavan, Jie Wang 0002	Reductions Do Not Preserve Fast Convergence Rates in Average Time.	Algorithmica	1999	DBLP DOI BibTeX RDF	Average polynomial time, Distributional problem, Reductions
10	Diego Del Gobbo, Bojan Cukic, Marcello R. Napolitano, Steve M. Easterbrook	Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems.	HASE	1999	DBLP DOI BibTeX RDF
10	Joseph Y. Halpern, Nir Friedman	Plausibility Measures and Default Reasoning: An Overview.	LICS	1999	DBLP DOI BibTeX RDF
10	Amy Sundermier, Suzanne W. Dietrich, Vandana Shah	An Active Database Approach to Integrating Black-Box Software Components.	COMPSAC	1999	DBLP DOI BibTeX RDF	rule-based databases, object-oriented programming, software components, active databases
10	Yuji Kukimoto, Robert K. Brayton	Timing-safe false path removal for combinational modules.	ICCAD	1999	DBLP DOI BibTeX RDF
10	Keiji Konishi, Hiroki Sugiyama, Hideki Kokame, Kentaro Hirata	Decentralized delayed-feedback control of a coupled ring map lattice.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
10	James R. Morrison, P. R. Kumar 0001	On the guaranteed throughput and efficiency of closed re-entrant lines.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	closed networks, stability, efficiency, throughput, queueing networks
10	Jichiang Tsai 0001, Sy-Yen Kuo, Yi-Min Wang	Theoretical Analysis for Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Rollback-dependency trackability, communication-induced protocols, checkpointing, on-line algorithms, rollback recovery
10	Martin C. Cooper	The Tractability of Segmentation and Scene Analysis.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	computational complexity, segmentation, NP-completeness, scene analysis
10	Guang-Bin Huang, Haroon A. Babri	Comments on "Approximation capability in C(Rn) by multilayer feedforward networks and related problems".	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
10	Morten Heine Sørensen	Convergence of Program Transformers in the Metric Space of Trees.	MPC	1998	DBLP DOI BibTeX RDF
10	Zhonghua Yang, Chengzheng Sun, Abdul Sattar 0001, Yanyan Yang	Guaranteed Mutually Consistent Checkpointing in Distributed Computations.	ASIAN	1998	DBLP DOI BibTeX RDF
10	Jochen Meßner, Jacobo Torán	Optimal Proof Systems for Propositional Logic and Complete Sets.	STACS	1998	DBLP DOI BibTeX RDF
10	Michael Lightstone, Sanjit K. Mitra	Quadtree Optimization for Image and Video Coding.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
10	Dong Sik Kim, Taejeong Kim, Sang Uk Lee	On testing trained vector quantizer codebooks.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
10	David I. August, Daniel A. Connors, John C. Gyllenhaal, Wen-mei W. Hwu	Architectural Support for Compiler-Synthesized Dynamic Branch Prediction Strategies: Rationale and Initial Results.	HPCA	1997	DBLP DOI BibTeX RDF
10	Stefan Dziembowski, Marcin Jurdzinski, Igor Walukiewicz	How Much Memory is Needed to Win Infinite Games?	LICS	1997	DBLP DOI BibTeX RDF	finitely coloured graphs, size of memory, latest appearance record, winning strategies, polynomial-size blowup, data structure, graph colouring, reactive programs, I/O automata, infinite games, two-player games, upper and lower bounds
10	Elena Pezzoli	On the Computational Complexity of Type 2 Functionals.	CSL	1997	DBLP DOI BibTeX RDF
10	Ben-Kwei Jang, Roland T. Chin, Mohammed Charif-Chefchaouni, Dan Schonfeld	Comments on "On the invertibility of morphological representation of binary images" [and reply].	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
10	Ron van der Meyden	Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall.	PRICAI Workshop on Intelligent Agent Systems	1996	DBLP DOI BibTeX RDF
10	Wanli Ma, C. W. Johnson, Richard P. Brent	Programming with transactions and chemical abstract machine.	ISPAN	1996	DBLP DOI BibTeX RDF	chemical abstract machine, T-Cham, interactive computational model, T-Cham program, coordination style, transactions, transaction processing, high level languages, database languages
10	Jian-Qiang Hu	Analyticity of single-server queues in light traffic.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	TheGI/G/1 queue, light traffic derivatives, MacLaurin series, analyticity
10	Walter Hussak, John A. Keane	Concurrency Control of Tiered Flat Transactions.	BNCOD	1995	DBLP DOI BibTeX RDF
10	Michele Bugliesi, Hasan M. Jamil	A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages.	ICDT	1995	DBLP DOI BibTeX RDF
10	Ming-Haw Yaou, Wen-Thong Chang	Fast Surface Interpolation using Multiresolution Wavelet Transform.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	multiresolution wavelet transform, large sparse linear equation system, multiresolution basis transfer scheme, interpolation basis, QMF matrix pair, wavelet transforms, interpolation, convergence, signal processing, frequency domain, convergence of numerical methods, preconditioner, surface interpolation
10	Sandip K. Biswas	In-Place Updates in the Presence of Control Operators.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
10	Yehuda Afek, Geoffrey M. Brown, Michael Merritt	Lazy Caching.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	shared memory, cache coherence, sequential consistency
10	Ashish Gupta 0001, Jennifer Widom	Local Verification of Global Integrity Constraints in Distributed Databases.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	SQL, Datalog
10	Yoav Raz	Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions.	PODS	1993	DBLP DOI BibTeX RDF
10	Oded Maler, Ludwig Staiger	On Syntactic Congruences for Omega-Languages.	STACS	1993	DBLP DOI BibTeX RDF
10	Leonidas Georgiadis, Wojciech Szpankowski	Stability of token passing rings.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	Token passing rings, substability, Loynes' scheme, Little's formula, stability, Markov chains, ergodicity, regenerative processes, stochastically dominant
10	Andrei Kovalyov	Concurrency Relations and the Safety Problem for Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
10	Annalisa Bossi, Nicoletta Cocco, Sandro Etalle	On Safe Folding.	PLILP	1992	DBLP DOI BibTeX RDF	computed answer substitution semantics, Program transformation, folding
10	Narain H. Gehani, H. V. Jagadish, Oded Shmueli	Event Specification in an Active Object-Oriented Database.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
10	Amos Beimel, Benny Chor	Universally Ideal Secret Sharing Schemes (Preliminary Version).	CRYPTO	1992	DBLP DOI BibTeX RDF
10	Yehoshua Sagiv	On Testing Effective Computability of Magic Programs.	DOOD	1991	DBLP DOI BibTeX RDF
10	Ben-Kwei Jang, Roland T. Chin	Analysis of Thinning Algorithms Using Mathematical Morphology.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	digital skeletons, skeletal bias, convergence, computerised picture processing, mathematical morphology, noise immunity, thinning algorithms
10	Hua Yang, Douglas H. Fisher, Hubertus Franke	Improving Planning Efficient by Conceptual Clustering.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
10	Robert A. Kowalski	The Treatment of Negation in Logic Programs for Representing Legislation.	ICAIL	1989	DBLP DOI BibTeX RDF
10	Radha Jagadeesan	L-domains and Lossless Powerdomains.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
10	Gautam Das 0001, Deborah Joseph	Which Triangulations Approximate the Complete Graph?.	Optimal Algorithms	1989	DBLP DOI BibTeX RDF
10	Patrick C. McGeer, Robert K. Brayton	Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network.	DAC	1989	DBLP DOI BibTeX RDF
10	Maurice Herlihy	Taking concurrency seriously (position paper).	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
10	Maurice Herlihy, Jeannette M. Wing	Linearizable concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
10	Jeanne Ferrante, Mary E. Mace, Barbara Simons	Generating sequential code from parallel code.	ICS	1988	DBLP DOI BibTeX RDF
10	Volker Diekert	On the Knuth-Bendix Completion for Concurrent Processes.	ICALP	1987	DBLP DOI BibTeX RDF
10	William Paul Jones, Susan T. Dumais	The Spatial Metaphor for User Interfaces: Experimental Tests of Reference by Location versus Name.	ACM Trans. Inf. Syst.	1986	DBLP DOI BibTeX RDF
10	B. Nguyen, R. Rom	Communication services under EMCON.	SIGCOMM	1986	DBLP DOI BibTeX RDF