Search results for "subtle"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Massimiliano Di Penta, Mark Harman, Giuliano Antoniol, Fahim Qureshi	The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach.	ICSM	2007	DBLP DOI BibTeX RDF
7	Sridhar Poosapadi Arjunan, Dinesh Kant Kumar	Recognition of Facial Movements and Hand Gestures Using Surface Electromyogram(sEMG) for HCI Based Applications.	DICTA	2007	DBLP DOI BibTeX RDF
7	Laura Tateosian, Christopher G. Healey, James T. Enns	Engaging viewers through nonphotorealistic visualizations.	NPAR	2007	DBLP DOI BibTeX RDF	NPR applications, visualization, voronoi diagrams, aesthetics, mesh simplification, nonphotorealistic rendering
7	Francisco Blanquicet, Kenneth J. Christensen	An Initial Performance Evaluation of Rapid PHY Selection (RPS) for Energy Efficient Ethernet.	LCN	2007	DBLP DOI BibTeX RDF
7	Haijun Niu, Qing Wang, Yong-Ping Zheng, Fang Pu, Yubo Fan, Deyu Li	Computation of Uniaxial Modulus of the Normal and Degenerated Articular Cartilage Using Inhomogeneous Triphasic Model.	LSMS (2)	2007	DBLP DOI BibTeX RDF
7	Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh 0002	How to Test Program Generators? A Case Study using flex.	SEFM	2007	DBLP DOI BibTeX RDF
7	Roger E. Kaufman	Harness Mechanisms for Full-Body Motions in Virtual Environments.	VR	2007	DBLP DOI BibTeX RDF
7	Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho	The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems.	Electron. Commer. Res.	2006	DBLP DOI BibTeX RDF	Model checking patterns, Software engineering, Model checking, Design patterns, Design methodologies, Software verification
7	Gergely Ács, Levente Buttyán, István Vajda	Provably Secure On-Demand Source Routing in Mobile Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	Mobile ad hoc networks, provable security, secure routing
7	Simon Sheu, Wallapak Tavanapong, Kien A. Hua	A scalable cost-effective video broadcasting system for on-demand video services.	Multim. Tools Appl.	2006	DBLP DOI BibTeX RDF	Multicast, Video-on-demand, Video streaming, Periodic broadcast
7	Jérôme Lebrun, Pierre Comon	Blind algebraic identification of communication channels: symbolic solution algorithms.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Blind identification, Digital modulations, Parametric normal forms, Matrix of traces
7	Peter Csaba Ölveczky, José Meseguer 0001, Carolyn L. Talcott	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
7	Tom Kimpe	Defective Pixels in Medical LCD Displays: Problem Analysis and Fundamental Solution.	J. Digit. Imaging	2006	DBLP DOI BibTeX RDF	defective pixels, Medical imaging, mammography, human visual system, LCD
7	Liqiang Wang, Scott D. Stoller	Runtime Analysis of Atomicity for Multithreaded Programs.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Java, Concurrent programming, atomicity, data race, testing and debugging
7	Albert Guillen i Fabregas, Giuseppe Caire	Coded modulation in the block-fading channel: coding theorems and code construction.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
7	Benjamin A. C. Forsyth, Karon E. MacLean	Predictive Haptic Guidance: Intelligent User Assistance for the Control of Dynamic Tasks.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	user-centered design, Human factors, evaluation/methodology, haptic I/O
7	Indrakshi Ray, Tai Xin	Analysis of dependencies in advanced transaction models.	Distributed Parallel Databases	2006	DBLP DOI BibTeX RDF	Control-flow dependencies, Advanced transactions
7	Richard Nock, Frank Nielsen	On Weighting Clustering.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	khbox{-}rm means, fuzzy khbox{-}rm means, harmonic means clustering, Clustering, expectation maximization, Bregman divergences
7	Robert L. Glass	Of Health, Trust, Money ... and Integrity.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	software engineering, integrity, software cost estimation
7	Alexander G. Tartakovsky, Boris Rozovskii, Rudolf B. Blazek, Hongjoong Kim	A novel approach to detection of intrusions in computer networks via adaptive sequential and batch-sequential change-point detection methods.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
7	Cristina Videira Lopes, Sushil Krishna Bajracharya	Assessing Aspect Modularizations Using Design Structure Matrix and Net Option Value.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF	Aspect-oriented programming and design, design space matrix, net option value, modularity
7	Xiaohan Zheng, Herbert F. Voigt	Computational model of response maps in the dorsal cochlear nucleus.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF
7	Jim Plusquellic, Dhruva Acharyya, Abhishek Singh 0001, Mohammad Tehranipoor, Chintan Patel	Quiescent-Signal Analysis: A Multiple Supply Pad IDDQ Method.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	Quiescent Signal Analysis, defect detection, IDDQ
7	Dan Grossman	Quantified types in an imperative language.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type variables, polymorphism, existential types, Cyclone
7	Ronald K. Pearson	The problem of disguised missing data.	SIGKDD Explor.	2006	DBLP DOI BibTeX RDF
7	Sang Il Park, Jessica K. Hodgins	Capturing and animating skin deformation in human motion.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	motion capture, human animation, skin deformation
7	Xianghua Xie, Majid Mirmehdi, Barry T. Thomas	Colour tonality inspection using eigenspace features.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	Colour tonality, Image noise analysis, Vector directional processing, Multidimensional histogramming, Surface inspection
7	Jianhua Tao 0001, Yongguo Kang, Aijun Li	Prosody conversion from neutral speech to emotional speech.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
7	Dominique Michelucci, Sebti Foufou	Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
7	Alejandro Russo, Andrei Sabelfeld	Security for Multithreaded Programs Under Cooperative Scheduling.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
7	Shuang Xu, Yunde Jia, Xiaoxun Zhang	Coding Facial Expression with Oriented Steerable Filters.	ICIP	2006	DBLP DOI BibTeX RDF
7	Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden	Synthesizing safe state machines from Esterel.	LCTES	2006	DBLP DOI BibTeX RDF	SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel
7	Prabal Dutta, Jonathan Hui, Jaein Jeong, Sukun Kim, Cory Sharp, Jay Taneja, Gilman Tolle, Kamin Whitehouse, David E. Culler	Trio: enabling sustainable and scalable outdoor wireless sensor network deployments.	IPSN	2006	DBLP DOI BibTeX RDF	long-life, sensor networks, detection, surveillance, testbed, target tracking, large-scale
7	Jianhua Tao 0001, Jian Yu, Yongguo Kang	Nonlinear Emotional Prosody Generation and Annotation.	ISCSLP	2006	DBLP DOI BibTeX RDF
7	Jason Nawyn, Stephen S. Intille, Kent Larson	Embedding Behavior Modification Strategies into a Consumer Electronic Device: A Case Study.	UbiComp	2006	DBLP DOI BibTeX RDF
7	Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun	Testing implementations of transactional memory.	PACT	2006	DBLP DOI BibTeX RDF	verification, testing, specification, transactional memory
7	Guofei Gu, Prahlad Fogla, David Dagon, Wenke Lee, Boris Skoric	Measuring intrusion detection capability: an information-theoretic approach.	AsiaCCS	2006	DBLP DOI BibTeX RDF	information-theoretic, intrusion detection, performance measurement
7	Reza Curtmola, Juan A. Garay, Seny Kamara, Rafail Ostrovsky	Searchable symmetric encryption: improved definitions and efficient constructions.	CCS	2006	DBLP DOI BibTeX RDF	searchable symmetric encryption, security definitions, multi-user, searchable encryption
7	Man Ho Au, Sherman S. M. Chow, Willy Susilo, Patrick P. Tsang	Short Linkable Ring Signatures Revisited.	EuroPKI	2006	DBLP DOI BibTeX RDF
7	Maurizio Adriano Strangio	On the Resilience of Key Agreement Protocols to Key Compromise Impersonation.	EuroPKI	2006	DBLP DOI BibTeX RDF	key agreement protocols, key compromise impersonation
7	Kannan Srinivasan 0001, Prabal Dutta, Arsalan Tavakoli, Philip Alexander Levis	Understanding the causes of packet delivery success and failure in dense wireless sensor networks.	SenSys	2006	DBLP DOI BibTeX RDF	reconfigurable protocols, wireless sensor networks, networking, media access protocols, communication interfaces, energy efficient operation
7	Dheeraj Reddy, George F. Riley, Bryan Larish, Yang Chen	Measuring and Explaining Differences in Wireless Simulation Models.	MASCOTS	2006	DBLP DOI BibTeX RDF
7	Ashwin Machanavajjhala, Johannes Gehrke, Daniel Kifer, Muthuramakrishnan Venkitasubramaniam	l-Diversity: Privacy Beyond k-Anonymity.	ICDE	2006	DBLP DOI BibTeX RDF
7	Shibashis Guha, Srinath Srinivasa, Saikat Mukherjee, Ranajoy Malakar	LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime.	IDEAS	2006	DBLP DOI BibTeX RDF	Interaction schema, Coordination, Contracts, Reference monitor, Constraint enforcement
7	Balaji S. Srinivasan, Antal F. Novak, Jason Flannick, Serafim Batzoglou, Harley H. McAdams	Integrated Protein Interaction Networks for 11 Microbes.	RECOMB	2006	DBLP DOI BibTeX RDF
7	Shawna L. Thomas, Xinyu Tang, Lydia Tapia, Nancy M. Amato	Simulating Protein Motions with Rigidity Analysis.	RECOMB	2006	DBLP DOI BibTeX RDF
7	Axel-Tobias Schreiner, James E. Heliotis	oops: discovering LL(1) through objects.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	parser generators
7	Kyle B. Reed, Michael A. Peshkin, Mitra J. Z. Hartmann, James L. Patton, Peter M. Vishton, Marcia Grabowecky	Haptic cooperation between people, and between people and machines.	IROS	2006	DBLP DOI BibTeX RDF
7	Tim Bailey, Juan I. Nieto 0001, José E. Guivant, Michael Stevens, Eduardo Mario Nebot	Consistency of the EKF-SLAM Algorithm.	IROS	2006	DBLP DOI BibTeX RDF
7	Philippe Audebaud, Christine Paulin-Mohring	Proofs of Randomized Algorithms in Coq.	MPC	2006	DBLP DOI BibTeX RDF
7	Hari Sundar, Dinggang Shen, George Biros, Harold Litt, Christos Davatzikos	Estimating myocardial fiber orientations by template warping.	ISBI	2006	DBLP DOI BibTeX RDF
7	Ming-Chang Chiang, Rebecca A. Dutton, Kiralee M. Hayashi, Arthur W. Toga, Oscar L. Lopez, Howard Aizenstein, James T. Becker, Paul M. Thompson	Fluid registration of medical images using Jensen-Renyi divergence reveals 3D profile of brain atrophy in HIV/AIDS.	ISBI	2006	DBLP DOI BibTeX RDF
7	Parker H. Mills, Eric T. Ahrens	Enhanced detection of paramagnetic contrast agents in magnetic resonance images via phase image cross-correlation analysis.	ISBI	2006	DBLP DOI BibTeX RDF
7	Murdoch Gabbay, Aad Mathijssen	Capture-Avoiding Substitution as a Nominal Algebra.	ICTAC	2006	DBLP DOI BibTeX RDF
7	Samantika Subramaniam, Gabriel H. Loh	Fire-and-Forget: Load/Store Scheduling with No Store Queue at All.	MICRO	2006	DBLP DOI BibTeX RDF
7	Vladimir Kolesnikov, Charles Rackoff	Key Exchange Using Passwords and Long Keys.	TCC	2006	DBLP DOI BibTeX RDF
7	Donald C. Craig, Wlodzimierz M. Zuberek	Compatibility of Software Components - Modeling and Verification.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
7	Andrew D. Gordon 0001	Provable Implementations of Security Protocols.	LICS	2006	DBLP DOI BibTeX RDF
7	Abigail Sellen, Richard H. R. Harper, Rachel Eardley, Shahram Izadi, Tim Regan, Alex S. Taylor, Kenneth R. Wood	HomeNote: supporting situated messaging in the home.	CSCW	2006	DBLP DOI BibTeX RDF	domestic communication, epigraphic, family life, field study, SMS, messaging, situated displays
7	Stephanie M. Wilson, Julia Galliers, James Fone	Not all sharing is equal: the impact of a large display on small group collaborative work.	CSCW	2006	DBLP DOI BibTeX RDF	large shared display, public versus private work, shift handover
7	Hongwei Zhu 0002, Stuart E. Madnick	Scalable Interoperability Through the Use of COIN Lightweight Ontology.	ODBIS	2006	DBLP DOI BibTeX RDF	lightweight ontology, scalability, context, mediation, semantic heterogeneity, formal ontology
7	Wojciech Mostowski	Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic.	FM	2006	DBLP DOI BibTeX RDF
7	Oscar Harari, Rocío Romero-Záliz, Cristina Rubio-Escudero, Igor Zwir	Fusion of Domain Knowledge for Dynamic Learning in Transcriptional Networks.	IDEAL	2006	DBLP DOI BibTeX RDF
7	Donald Sannella, Andrzej Tarlecki	Horizontal Composability Revisited.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
7	Monica A. Trifas, John M. Tyler, Oleg S. Pianykh	Applying multiresolution methods to medical image enhancement.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	multiscale decomposition, wavelets, medical images, frequency domain, pyramid, contrast enhancement
7	Daniel L. Moise, Kenny Wong	Extracting Facts from Perl Code.	WCRE	2006	DBLP DOI BibTeX RDF
7	Colin J. Fidge, Yu-Chu Tian	Functional Analysis of a Real-Time Protocol for Networked Control Systems.	ATVA	2006	DBLP DOI BibTeX RDF
7	Pieter W. M. Koopman, Rinus Plasmeijer	Automatic Testing of Higher Order Functions.	APLAS	2006	DBLP DOI BibTeX RDF
7	Elizabeth A. Crane, M. Melissa Gross, Barbara L. Fredrickson	Expression of Emotion in Body and Face.	IVA	2006	DBLP DOI BibTeX RDF
7	Jane Reilly, John Ghent, John McDonald 0001	Investigating the Dynamics of Facial Expression.	ISVC (2)	2006	DBLP DOI BibTeX RDF
7	Mohammad Reza Daliri, Vincent Torre	Unsupervised Clustering of Shapes.	ISVC (1)	2006	DBLP DOI BibTeX RDF
7	Xinghua Fan	A High Performance Prototype System for Chinese Text Categorization.	MICAI	2006	DBLP DOI BibTeX RDF
7	Shin-Min Chao, Du-Ming Tsai, Yan-Hsin Tseng, Yuan-Ruei Jhang	Defect detection in low-contrast glass substrates using anisotropic diffusion.	ICPR (1)	2006	DBLP DOI BibTeX RDF
7	Massimo Felici	Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain.	RISE	2006	DBLP DOI BibTeX RDF
7	Nuno Carvalho, José Pereira 0001, Luís E. T. Rodrigues	Towards a Generic Group Communication Service.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
7	George Caridakis, Lori Malatesta, Loïc Kessous, Noam Amir, Amaryllis Raouzaiou, Kostas Karpouzis	Modeling naturalistic affective states via facial and vocal expressions recognition.	ICMI	2006	DBLP DOI BibTeX RDF	naturalistic data, prosodic feature extraction, image processing, user modeling, facial expression recognition, affective interaction, multimodal analysis
7	Lars Backstrom, Daniel P. Huttenlocher, Jon M. Kleinberg, Xiangyang Lan	Group formation in large social networks: membership, growth, and evolution.	KDD	2006	DBLP DOI BibTeX RDF	on-line communities, social networks, diffusion of innovations
7	Jure Leskovec, Christos Faloutsos	Sampling from large graphs.	KDD	2006	DBLP DOI BibTeX RDF	graph sampling, graph mining, scaling laws
7	C. R. Ramakrishnan 0001, I. V. Ramakrishnan, David Scott Warren	Deductive Spreadsheets Using Tabled Logic Programming.	ICLP	2006	DBLP DOI BibTeX RDF
7	Maribel Fernández, Murdoch Gabbay	Curry-Style Types for Nominal Terms.	TYPES	2006	DBLP DOI BibTeX RDF	polymorphism, type inference, rewriting, binding
7	Ke Xu, Yuexuan Wang, Cheng Wu	Ensuring Secure and Robust Grid Applications - From a Formal Method Point of View.	GPC	2006	DBLP DOI BibTeX RDF
7	Bala Ravikumar	On Some Variations of Two-Way Probabilistic Finite Automata Models.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
7	Scott R. Tilley, Kenny Wong, Shihong Huang, Spencer Smith 0001	Report from the 2nd International Workshop on Software Engineering Course Projects (SWECP 2005).	CSEE&T	2006	DBLP DOI BibTeX RDF	undergraduate students, software engineering education, course projects
7	Oleg Kiselyov, Chung-chieh Shan, Amr Sabry	Delimited dynamic binding.	ICFP	2006	DBLP DOI BibTeX RDF	monads, dynamic binding, delimited continuations
7	Vugranam C. Sreedhar	Data-centric security: role analysis and role typestates.	SACMAT	2006	DBLP DOI BibTeX RDF	role analysis, role escape analysis, role typestates, RBAC
7	Antoine Naud	An Accurate MDS-Based Algorithm for the Visualization of Large Multidimensional Datasets.	ICAISC	2006	DBLP DOI BibTeX RDF
7	Joanna Berzowska, Marcelo Coelho	Memory-rich clothing.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	physical touch, reactive garments, wearable computing, electronic textiles
7	Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi	Specifying and Reasoning About Dynamic Access-Control Policies.	IJCAR	2006	DBLP DOI BibTeX RDF
7	Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha	Designing Authentication Protocols: Trends and Issues.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
7	Trieu C. Chieu, Pawan Chowdhary, Shiwa S. Fu, Florian Pinel, Jih-Shyr Yih	Enterprise Telesales Opportunity Pipelines Performance Management.	ICEBE	2006	DBLP DOI BibTeX RDF
7	Wei-yan Liu, Shun-Yi Zhang, Mu Zhang 0011, Tao Liu	A DT-based Adaptive BLUE Algorithm.	ISDA (1)	2006	DBLP DOI BibTeX RDF
7	Michel François Valstar, Maja Pantic	Biologically vs. Logic Inspired Encoding of Facial Actions and Emotions in Video.	ICME	2006	DBLP DOI BibTeX RDF
7	Magy Seif El-Nasr	Projecting tension in virtual environments through lighting.	Advances in Computer Entertainment Technology	2006	DBLP DOI BibTeX RDF	games, emotions, visual perception, arousal, tension
7	Sergei Kojarski, David H. Lorenz	Comparing White-Box, Black-Box, and Glass-Box Composition of Aspect Mechanisms.	ICSR	2006	DBLP DOI BibTeX RDF
7	Shangzhu Wang, George S. Avrunin, Lori A. Clarke	Verification support for plug-and-play architectural design.	ROSATEA	2006	DBLP DOI BibTeX RDF
7	Fan Zhang, Yang Mo Yoo, Yongmin Kim 0001, Lichen Zhang, Liang Mong Koh	Multiscale Nonlinear Diffusion and Shock Filter for Ultrasound Image Enhancement.	CVPR (2)	2006	DBLP DOI BibTeX RDF
7	Dahua Lin, Xiaoou Tang	Recognize High Resolution Faces: From Macrocosm to Microcosm.	CVPR (2)	2006	DBLP DOI BibTeX RDF
7	Shay Gueron, Jean-Pierre Seifert	Is It Wise to Publish Your Public RSA Keys?	FDTC	2006	DBLP DOI BibTeX RDF	Authenticated computing, Hardware attacks, Secure/Trusted boot, RSA, Fault attacks
7	Michael Breen	All Things Considered: Inspecting Statecharts by Model Transformation.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
7	Md. Hasanul Kabir, Mohammad Abdullah-Al-Wadud, Oksam Chae	Image Contrast Enhancement Based on Block-Wise Intensity-Pair Distribution with Two Expansion Forces.	CIARP	2006	DBLP DOI BibTeX RDF	Anti-expansion force, expansion force, intensity pair