Search results for "Condition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	James H. Anderson, Mark Moir	Towards a Necessary and Sufficient Condition for Wait-free Synchronization (Extended Abstract).	WDAG	1993	DBLP DOI BibTeX RDF
15	Zbigniew M. Wójcik, Barbara E. Wójcik	Termination condition for a parallel shape coding and a parallel shape coding algorithm.	SPDP	1990	DBLP DOI BibTeX RDF
15	Gregory Piatetsky-Shapiro, Charles Connell	Accurate Estimation of the Number of Tuples Satisfying a Condition.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
15	Mark Moriconi, Richard L. Schwartz	Automatic Construction of Verification Condition Generators From Hoare Logics.	ICALP	1981	DBLP DOI BibTeX RDF
14	Erica L. Olmsted-Hawala, Elizabeth D. Murphy, Sam Hawala, Kathleen T. Ashenfelter	Think-aloud protocols: a comparison of three think-aloud protocols for use in testing data-dissemination web sites for usability.	CHI	2010	DBLP DOI BibTeX RDF	user-centered design, usability testing, experimental design, user testing, think aloud, verbalization
14	Wenbin Lim, Guilin Yang, Song Huat Yeo, Mustafa Shabbir Kurbanhusen, I-Ming Chen	A generic tension-closure analysis method for fully-constrained cable-driven parallel manipulators.	ICRA	2009	DBLP DOI BibTeX RDF
14	Zhiqiang Luo, Henry Been-Lirn Duh, I-Ming Chen, Wenshu Luo	Spatial Navigation in a Virtual Multilevel Building: The Role of Exocentric View in Acquiring Survey Knowledge.	HCI (13)	2009	DBLP DOI BibTeX RDF
14	Arik-Quang V. Dao, Summer L. Brandt, Vernol Battiste, Kim-Phuong L. Vu, Thomas Z. Strybel, Walter W. Johnson	The Impact of Automation Assisted Aircraft Separation on Situation Awareness.	HCI (9)	2009	DBLP DOI BibTeX RDF	cockpit display of traffic information, CDTI, cockpit situation display, CSD, automation, situation awareness, conflict resolution
14	Alexander Borek, Bruce M. McLaren, Michael Karabinos, David Yaron	How Much Assistance Is Helpful to Students in Discovery Learning?	EC-TEL	2009	DBLP DOI BibTeX RDF	assistance dilemma, chemistry learning, intelligent tutoring, inquiry learning
14	Eric Brier, Shahram Khazaei, Willi Meier, Thomas Peyrin	Linearization Framework for Collision Attacks: Application to CubeHash and MD6.	ASIACRYPT	2009	DBLP DOI BibTeX RDF	CubeHash and MD6, Hash functions, collisions, differential attack, SHA-3
14	Ching-Tsung Hung, Jia-Ruey Chang, Jyh-Dong Lin, Gwo-Hshiung Tzeng	Rough Set Theory in Pavement Maintenance Decision.	ICIC (2)	2009	DBLP DOI BibTeX RDF
14	Lin Qiu, Wendy Weini Tay, Junwei Wu	The impact of virtual teamwork on real-world collaboration.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	human-computer interaction, collaboration, social interaction, problem-solving, teamwork, video games, virtual teams, group creativity
14	Huadong Wang, Michael Lewis 0001, Prasanna Velagapudi, Paul Scerri, Katia P. Sycara	How search and its subtasks scale in N robots.	HRI	2009	DBLP DOI BibTeX RDF	evaluation, metrics, human-robot interaction, multi-robot system
14	Rajeev Alur, Aditya Kanade, Gera Weiss	Ranking Automata and Games for Prioritized Requirements.	CAV	2008	DBLP DOI BibTeX RDF
14	Mehdi Mhalla, Simon Perdrix	Finding Optimal Flows Efficiently.	ICALP (1)	2008	DBLP DOI BibTeX RDF
14	Gaëlle Molinari, Mirweis Sangin, Pierre Dillenbourg	When Co-learners Work on Complementary Texts: Effects on Outcome Convergence.	EC-TEL	2008	DBLP DOI BibTeX RDF	jigsaw scripts, knowledge interdependence, outcome knowledge equivalence, shared outcome knowledge, Computer-supported collaborative learning
14	Tran Cao Son, Enrico Pontelli	Some Results on the Completeness of Approximation Based Reasoning.	PRICAI	2008	DBLP DOI BibTeX RDF
14	Zhongjun Yin, Tian Han 0004, Jianfeng Wang	Fan Fault Diagnosis System Based on Virtual Prototyping Technology.	FSKD (5)	2008	DBLP DOI BibTeX RDF
14	Jason Jerald, Tabitha C. Peck, Frank Steinicke, Mary C. Whitton	Sensitivity to scene motion for phases of head yaws.	APGV	2008	DBLP DOI BibTeX RDF	reorientation techniques, human factors, latency, psychophysics, immersive virtual environments, motion perception
14	Kwoting Fang, Chingwei Chang, Miao Yuliao, Yenping Chi	Examining the Influence of Occupational Therapy and Its Effectiveness in Long-Term Care on Dementia Patients Through Ontology-Based Clustering.	ICMB	2008	DBLP DOI BibTeX RDF
14	Shahab Sanayei, Ahmadreza Hedayat, Aria Nosratinia	Space Time Codes in Keyhole Channels: Analysis and Design.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
14	Daowen Qiu	Notes on automata theory based on quantum logic.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	orthomodular lattices, quantum computing, automata, quantum logic
14	Ertem Tuncel	Kraft Inequality and Zero-Error Source Coding With Decoder Side Information.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
14	Tohru Miyake, Hidenori Ishihara, Motoi Yoshimura	Basic studies on wet adhesion system for wall climbing robots.	IROS	2007	DBLP DOI BibTeX RDF
14	Jane Li, Anja Wessels, Leila Alem, Cara A. Stitzlein	Exploring interface with representation of gesture for remote collaboration.	OZCHI	2007	DBLP DOI BibTeX RDF	human factors, gesture, remote collaboration
14	Hosang Jung, F. Frank Chen	Evolutionary Algorithm Based Corrective Process Control System in Glass Melting Process.	EMO	2007	DBLP DOI BibTeX RDF	corrective process control, glass melting process, Evolutionary algorithm
14	Olivier Teytaud	Conditioning, Halting Criteria and Choosing lambda.	Artificial Evolution	2007	DBLP DOI BibTeX RDF
14	Xiaohuang Huang, Hongbo Fu 0001, Oscar Kin-Chung Au, Chiew-Lan Tai	Optimal boundaries for Poisson mesh merging.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	Poisson mesh merging, optimal boundaries
14	Azusa Iwata, Yoshihisa Shinozawa, Akito Sakurai	A Characterization of Simple Recurrent Neural Networks with Two Hidden Units as a Language Recognizer.	ICONIP (1)	2007	DBLP DOI BibTeX RDF
14	Chun-Hsiung Fang, Yung-Sheng Liu, Shih-Wei Kau, Lin Hong, Ching-Hsiang Lee	A new LMI-based approach to relaxed quadratic stabilization of T-S fuzzy control systems.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
14	Matthias Nückles, Alexandra Winter, Jörg Wittwer, Markus Herbert, Sandra Hübner	How do Experts Adapt their Explanations to a Layperson's Knowledge in Asynchronous Communication? An Experimental Study.	User Model. User Adapt. Interact.	2006	DBLP DOI BibTeX RDF	adaptive instructional explanations, advice-giving and recommender systems, audience design, cognitive processes in writing and written communication, human experts’ adaptation strategies, human tutoring, personalization techniques, user-adapted communication, computer-mediated communication, natural language generation
14	Stefan A. Sauter	A Refined Finite Element Convergence Theory for Highly Indefinite Helmholtz Problems.	Computing	2006	DBLP DOI BibTeX RDF	Indefinite problems, generalized FEM, finite element methods, Helmholtz equation
14	Shinichi Goda, Yukio Ohsawa	Chance Discovery in Credit Risk Management.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
14	Qiang Miao, Hong-Zhong Huang, Xianfeng Fan	A Novel Hybrid System with Neural Networks and Hidden Markov Models in Fault Diagnosis.	MICAI	2006	DBLP DOI BibTeX RDF	Neural networks, Pattern recognition, Feature selection, Hidden Markov models
14	Antonio J. Vallejo, Rubén Morales-Menéndez, Ciro A. Rodríguez, Luis Enrique Sucar	Diagnosis of a Cutting Tool in a Machining Center.	IJCNN	2006	DBLP DOI BibTeX RDF
14	Lihua Yin, Binxing Fang, Xiang-Zhan Yu	Distributed Group Membership Algorithm in Intrusion-Tolerant System.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
14	Weihua Li 0004, Tielin Shi, Kang Ding	Gear Crack Detection Using Kernel Function Approximation.	ICONIP (3)	2006	DBLP DOI BibTeX RDF
14	King Sing Cheung, K. O. Chow	Elimination of Duplicate Labels in Petri-Net-Based System Specification.	CIT	2005	DBLP DOI BibTeX RDF
14	Franck van Breugel, Mariya Koshkina	Dead-Path-Elimination in BPEL4WS.	ACSD	2005	DBLP DOI BibTeX RDF
14	Hanhoon Park, Jong-Il Park, Sang Hwa Lee	Image-Based Relighting of Moving Objects with Specular Reflection.	ICIAP	2005	DBLP DOI BibTeX RDF
14	Masayuki Tanaka 0001, Masatoshi Okutomi	Theoretical Analysis on Reconstruction-Based Super-Resolution for an Arbitrary PSF.	CVPR (2)	2005	DBLP DOI BibTeX RDF
14	Anu Bhargava, Michael Scott, Ryan Traylor, Roy Chung, Kimberly Mrozek, Jonathan Wolter, Hong Z. Tan	Effect of Cognitive Load on Tactor Location Identification in Zero-g.	WHC	2005	DBLP DOI BibTeX RDF
14	Judee K. Burgoon, J. P. Blair, Renee E. Strom	Heuristics and Modalities in Determining Truth Versus Deception.	HICSS	2005	DBLP DOI BibTeX RDF
14	James Clawson, Kent Lyons, Thad Starner, Edward Clarkson	The Impacts of Limited Visual Feedback on Mobile Text Entry for the Twiddler and Mini-QWERTY Keyboards.	ISWC	2005	DBLP DOI BibTeX RDF
14	Frédéric Chazal, Véronique Maume-Deschamps, Brigitte Vallée	Erratum to 'Dynamical Sources in Information Theory: Fundamental Intervals and Word Prefixes'.	Algorithmica	2004	DBLP DOI BibTeX RDF
14	Yi Ma 0001, Kun Huang 0001, René Vidal, Jana Kosecka, Shankar Sastry 0001	Rank Conditions on the Multiple-View Matrix.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	multiple-view matrix, rank conditions, structure from motion, factorization
14	Tetsuo Sumiya, Akifumi Inoue, Sadayuki Shiba, Junya Kato, Hiroshi Shigeno, Ken-ichi Okada	A CSCW System for Distributed Search/Collection Tasks Using Wearable Computers.	WMCSA	2004	DBLP DOI BibTeX RDF
14	Kazuyuki Miura, Machiko Azuma, Takao Nishizeki	Canonical Decomposition, Realizer, Schnyder Labeling and Orderly Spanning Trees of Plane Graphs.	COCOON	2004	DBLP DOI BibTeX RDF
14	Yasushi Makihara, Masao Takizawa, Yoshiaki Shirai, Nobutaka Shimada	Object Recognition under Various Lighting Conditions.	SCIA	2003	DBLP DOI BibTeX RDF
14	Charu C. Aggarwal, Dakshi Agrawal	On nearest neighbor indexing of nonlinear trajectories.	PODS	2003	DBLP DOI BibTeX RDF
14	Dongkun Shin, Jihong Kim 0001	Power-aware scheduling of conditional task graphs in real-time multiprocessor systems.	ISLPED	2003	DBLP DOI BibTeX RDF	conditional task graph, real-time systems, multiprocessor, dynamic voltage scaling
14	Mitsuru Kawamoto, Yujiro Inouye	Blind deconvolution of MIMO-FIR channels driven by colored inputs using second-order statistics.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
14	Omer Horvitz, Virgil D. Gligor	Weak Key Authenticity and the Computational Completeness of Formal Encryption.	CRYPTO	2003	DBLP DOI BibTeX RDF	Weak Key Authenticity, Authentication, Cryptography, Encryption, Completeness, Formal Reasoning
14	Makoto Haraguchi, Shigetora Nakano, Masaharu Yoshioka	Discovery of Maximal Analogies between Stories.	Discovery Science	2002	DBLP DOI BibTeX RDF
14	Han-Saem Yun, Jihong Kim 0001, Soo-Mook Moon	Optimal software pipelining of loops with control flows.	ICS	2002	DBLP DOI BibTeX RDF	instruction-level parallelism, software pipelining, VLIW
14	Sergiy A. Vilkomir, Jonathan P. Bowen	Formalization of Software Testing Criteria using the Z Notation.	COMPSAC	2001	DBLP DOI BibTeX RDF	coverage, Z notation, testing criteria, MC/DC
14	Sabri Arik, Vedat Tavsanoglu	Further results on the global asymptotic stability of neural networks.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
14	Jacques M. B. Terken, Liesbet Verhelst	Information Presentation for a Wearable Messenger Device.	ICMI	2000	DBLP DOI BibTeX RDF
14	Takenori Kubo	Gnez: Adapting Knowledge to the Enviroment with GA.	RoboCup	2000	DBLP DOI BibTeX RDF
14	Terry R. Payne, Terri L. Lenox, Susan Hahn, Michael Lewis 0001, Katia P. Sycara	Agent-based Team Aiding in a Time Critical Task.	HICSS	2000	DBLP DOI BibTeX RDF
14	Litong Song, Yoshihiko Futamura	A New Termination Approach for Specialization.	SAIG	2000	DBLP DOI BibTeX RDF
14	Bernd Altmann, Matthias Fitzi, Ueli M. Maurer	Byzantine Agreement Secure against General Adversaries in the Dual Failure Model.	DISC	1999	DBLP DOI BibTeX RDF	active adversary, fail-corruption, Broadcast, Byzantine agreement, unconditional security
14	Peter van Beek, Rina Dechter	Constraint tightness and looseness versus local and global consistency.	J. ACM	1997	DBLP DOI BibTeX RDF	constraint satisfaction problems, relations, local consistency, constraint networks, constraint-based reasoning
14	Masami Nakajima, Michitaka Kameyama	Design of Highly Parallel Linear Digital Circuits Based on Symbol-Level Redundancy.	ISMVL	1996	DBLP DOI BibTeX RDF	highly parallel circuits, linear digital circuits, multiplicated redundant symbol, k-ary operations, multiple-valued logic
14	M. Molla-Hosseini, Roger M. Kerr, Robert B. Randall, R. B. Platfoot	An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Notation n state of device, n 0: state following a Poisson failure, n 1: operating state, n 2: minimal maintenance state, k number of stages of deterioration before deterioration failure, s at maintenance event s after s-1 minimalmaintenance the maintenance must be a major maintenance, P(i,j,n) steady-state probability that the device is in state (i,j,n), i=deterioration-stage index, j=minimal maintenance number, Pd steady-state probability that the device is being overhauled after a deteriorating failure, P0 steady-state probability that the device is out of service due to major maintenance, minimal maintenance, minimal repair respectively, 1/ d mean time between as good as new and deterioration failure if no maintenance is initiated, 1/ 0 mean time to Poisson failure, 1/ m mean time to the next maintenance event, 1/ d mean duration of overhauling the device following a deterioration failure, 1/ m mean duration of minimal maintenance, 1/ M mean duration of major maintenance, 1/ 0 mean duration of repair after Poisson failure, U steady-state unavailability of the device, PM, Pm
14	Val Tannen, Ramesh Subrahmanyam	On Extending Computational Adequacy by Data Abstraction.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
14	Kenji Taniguchi 0001, Yoshiaki Shibata, Chihiro Hamaguchi	Process modeling and simulation: boundary conditions for point defect-based impurity diffusion model.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
14	Sang Kyun Cha, Gio Wiederhold	Kaleidoscope: A Cooperative Menu-Guided Query Interface.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	SQL
14	Volker Diekert	Combinatorial Rewriting on Traces.	STACS	1990	DBLP DOI BibTeX RDF
14	Volker Diekert	Word Problems over TRaces Which are Solvable in Linear Time.	STACS	1989	DBLP DOI BibTeX RDF
14	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
14	Eugene W. Stark	A Proof Technique for Rely/Guarantee Properties.	FSTTCS	1985	DBLP DOI BibTeX RDF
14	Umesh V. Vazirani, Vijay V. Vazirani	Efficient and Secure Pseudo-Random Number Generation.	CRYPTO	1984	DBLP DOI BibTeX RDF
14	Gérard Berry, Jean-Jacques Lévy	Minimal and Optimal Computations of Recursive Programs.	POPL	1977	DBLP DOI BibTeX RDF
12	Hailin Liu	A Mixture Conjugate Gradient Method for Unconstrained Optimization.	IITSI	2010	DBLP DOI BibTeX RDF	Wolve condition, sufficient descent, fixed point, conjugate gradient method, unconstrained optimization
12	Mohammad-Reza Feizi-Derakhshi, Masood R. P. Derakhshan	Intelligent Recognition of Gearbox Status by Wavelet Packet Decomposition.	CIT	2010	DBLP DOI BibTeX RDF	Energy of signal, entropy, Condition monitoring
12	Zihui Che, Xueyun Ji	An Efficient Intrusion Detection Approach Based on Hidden Markov Model and Rough Set.	MVHI	2010	DBLP DOI BibTeX RDF	Rough Set Reduction, Decision Condition, Hidden Markov Model, Anomaly Detection, System Call
12	Raúl A. Santelices, Mary Jean Harrold	Exploiting program dependencies for scalable multiple-path symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition
12	Mohammad Reza Akhondi, Alex Talevski, Simon Carlsen, Stig Petersen	Applications of Wireless Sensor Networks in the Oil, Gas and Resources Industries.	AINA	2010	DBLP DOI BibTeX RDF	Production Optimization, Reservoir Monitoring, Condition Monitoring and Maintenance, Health and Safety, Wireless Sensor Network
12	Jeen-Shing Wang, Pau-Choo Chung, Wei-Hsin Wang, Che-Wei Lin	Driving Conditions Recognition Using Heart Rate Variability Indexes.	IIH-MSP	2010	DBLP DOI BibTeX RDF	driving condition recognition, Heart rate variability
12	Nilothpal Talukder, Sheikh Iqbal Ahamed	Preventing multi-query attack in location-based services.	WISEC	2010	DBLP DOI BibTeX RDF	adaptive nearest neighborhood cloaking (annc), reciprocity condition, location privacy
12	Neculai Andrei	New Hybrid Conjugate Gradient Algorithms for Unconstrained Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Hybrid conjugate gradient method, Conjugacy condition, Numerical comparisons, Dolan-Moré profile, Unconstrained optimization
12	Alexander Shapiro 0001	Semidefinite Programming: Optimality Conditions and Stability.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Tangent cone, Complementarity condition, Stability, Sensitivity analysis, Semidefinite programming, Duality, Lagrange multipliers, Nondegeneracy
12	Chengxian Xu	Nonlinear Least Squares Problems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Kuhn-Tucker optimality condition, Descent method, Residuals, Line search, Nonlinear least squares, Trust region
12	Kurt Marti	Discretely Distributed Stochastic Programs: Descent Directions and Efficient Points.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Mean value function, Efficient point, Admissible solution, Partially monotonous, Partial monotonicity, Markov kernel, Descent direction, Necessary optimality condition without using (sub)gradients parametric representations, Robustness, Uncertainty, Stochastic program, Stochastic optimization, Scenario analysis, Pareto optimal solution, Efficient solution, Stochastic matrix
12	Anna Nagurney	Variational Inequalities: Geometric Interpretation, Existence and Uniqueness.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Coercivity condition, Strict monotonicity, Strong monotonicity, Lipschitz continuity, Monotonicity, Geometric interpretation
12	Katta G. Murty	Second Order Optimality Conditions for Nonlinear Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Convex and nonconvex programming problems, Regularity condition, Mangasarian-Fromovitz constraint qualification, Sufficient optimality conditions, KKT conditions, First order and second order optimality conditions, Constraint qualification, Global minimum, Stationary point, Necessary optimality conditions, Local minimum, Nonlinear optimization problem
12	Franco Giannessi	Image Space Approach to Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Separation functions, Lagrange function, Separation, Sufficient condition, Lagrange multipliers, Euler equation, Necessary conditions, Image space
12	Zhian Liang	Multi-objective Fractional Programming Problems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Multiobjective fractional programming problem, (F, ?, ?, d)-convex functions, Efficiency condition, Duality, Efficient solution
12	Neculai Andrei	Performance Profiles of Conjugate-Gradient Algorithms for Unconstrained Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Hybrid conjugate gradient, Scaled conjugate gradient, Conjugacy condition, Numerical comparisons, Dolan-Moré profile, Conjugate gradient, Unconstrained optimization
12	Zdzislaw Naniewicz	Hemivariational Inequalities: Static Problems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Semicoercive hemivariational inequality, Unilateral growth condition, Pseudomonotone mapping, Recession functional
12	Diego J. Pedregal, Fausto Pedro García Márquez, Clive Roberts	An algorithmic approach for maintenance management based on advanced state space systems and harmonic regressions.	Ann. Oper. Res.	2009	DBLP DOI BibTeX RDF	Point mechanisms, Reliability, Maintenance, State space models, Condition monitoring
12	Josef Haberl	On global minima of semistrictly quasiconcave functions.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Semistrictly quasiconcave functions, Quasiconcave minimization, Necessary optimality condition, Generalized convexity
12	Eid H. Doha, Ali H. Bhrawy, Waleed M. Abd-Elhameed	Jacobi spectral Galerkin method for elliptic Neumann problems.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Neumann boundary condition, Spectral-Galerkin method, Fast elliptic spectral solver, Jacobi polynomials, Tensor product, Helmholtz equation
12	Roland Stühmer, Darko Anicic, Sinan Sen, Jun Ma, Kay-Uwe Schmidt, Nenad Stojanovic	Lifting Events in RDF from Interactions with Annotated Web Pages.	ISWC	2009	DBLP DOI BibTeX RDF	Event Representation, Semantic Advertising, User Profiling, Complex Event Processing, ECA, RDFa, event-condition-action
12	Wei Lv, Hong Bao, Enmin Feng	Optimality Conditions of a Three-Dimension Non-smooth Thermodynamic System of Sea Ice.	Complex (1)	2009	DBLP DOI BibTeX RDF	coupled 3D non-smooth thermodynamic system, necessary condition for optimality, parameter identification
12	Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh 0001	Automatic Test Data Generation for C Programs.	SSIRI	2009	DBLP DOI BibTeX RDF	Modified Condition/Decision coverage (MCDC), Automatic Test data generation
12	Roland Stühmer, Darko Anicic, Sinan Sen, Jun Ma, Kay-Uwe Schmidt, Nenad Stojanovic	Client-Side Event Processing for Personalized Web Advertisement.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF	User Profiling, RDF, Complex Event Processing, Rich Internet Applications, Web Advertisement, Semantic Web Technologies, ECA, RDFa, event-condition-action
12	Yi Zheng, Zhuo Zhang, Haiying Zhang, Hongtao Hu, Xialiang Wei	Study on Advanced Processing of Coking Wastewater Using Different Coagulants.	ESIAT (1)	2009	DBLP DOI BibTeX RDF	advanced processing, coking wastewater, coagulant, hydrodynamic condition, reaction time
12	Damien Imbs, Michel Raynal	Software Transactional Memories: An Approach for Multicore Programming.	PaCT	2009	DBLP DOI BibTeX RDF	Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state