Search results for "accompanying"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Mark Fiala	ARTag, a Fiducial Marker System Using Digital Techniques.	CVPR (2)	2005	DBLP DOI BibTeX RDF
9	Dinesh K. Pai, Eric W. VanDerLoo, Subarna Sadhukhan, Paul G. Kry	The Tango: A Tangible Tangoreceptive Whole-Hand Human Interface.	WHC	2005	DBLP DOI BibTeX RDF
9	Karim Sehaba, Pascal Estraillier, Didier Lambert	Interactive Educational Games for Autistic Children with Agent-Based System.	ICEC	2005	DBLP DOI BibTeX RDF
9	Christopher D. Hundhausen, Jonathan Lee Brown	What You See Is What You Code: A Radically Dynamic Algorithm Visualization Development Model for Novice Learners.	VL/HCC	2005	DBLP DOI BibTeX RDF
9	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.	VMCAI	2005	DBLP DOI BibTeX RDF
9	Ewa Gurbiel, Grazyna Hardt-Olejniczak, Ewa Kolczyk, Helena Krupicka, Maciej M. Syslo	Informatics and ICT in Polish Education System.	ISSEP	2005	DBLP DOI BibTeX RDF
9	Ian J. Grimstead, David W. Walker, Nick J. Avis	Collaborative Visualization: A Review and Taxonomy.	DS-RT	2005	DBLP DOI BibTeX RDF
9	Le Zhao, Min Zhang 0006, Shaoping Ma	The Empirical Impact of the Nature of Novelty Detection.	AIRS	2005	DBLP DOI BibTeX RDF
9	Dung N. Lam, K. Suzanne Barber	Comprehending agent software.	AAMAS	2005	DBLP DOI BibTeX RDF	tracer, reverse engineering, debugging, maintenance, agent-oriented software engineering, software comprehension
9	Maozu Guo 0001, Jian-Fu Li	Improving Retrieval Performance with the Combination of Thesauri and Automatic Relevance Feedback.	ICMLC	2005	DBLP DOI BibTeX RDF
9	Issam El-Naqa, Yongyi Yang, Nikolas P. Galatsanos, Robert M. Nishikawa, Miles N. Wernick	A similarity learning approach to content-based image retrieval: application to digital mammography.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
9	Mark Blythe, Peter C. Wright, Andrew F. Monk	Little brother: could and should wearable computing technologies be applied to reducing older people's fear of crime?.	Pers. Ubiquitous Comput.	2004	DBLP DOI BibTeX RDF	Fear of crime, Personal ubiquitous computing, Surveillance technology, Social dependability, Privacy, Wearable computing, Older people, Webcams, Internet communities
9	Amparo Gil, Javier Segura 0001, Nico M. Temme	Computing solutions of the modified Bessel differential equation for imaginary orders and positive arguments.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	asymptotic expansions, Bessel functions, numerical quadrature
9	Taeweon Suh, Hsien-Hsin S. Lee, Douglas M. Blough	Integrating Cache Coherence Protocols for Heterogeneous Multiprocessor Systems, Part 2.	IEEE Micro	2004	DBLP DOI BibTeX RDF
9	Lutz Bichler, Ansgar Radermacher, Andy Schürr	Integrating Data Flow Equations with UML/Realtime.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	UML/Realtime, Rational Rose/RT®, object-oriented modeling, dataflow modeling
9	Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee 0001, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou	Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	CARA system, Requirements formalization, Formal methods, Safety-critical systems, Software verification
9	Roshanak Roshandel, André van der Hoek, Marija Mikic-Rakic, Nenad Medvidovic	Mae - a system model and environment for managing architectural evolution.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	Mae, evolution, system model, Design environment
9	Karen Sparck Jones	What's new about the Semantic Web?: some questions.	SIGIR Forum	2004	DBLP DOI BibTeX RDF
9	Newton Lee	A word from the editor.	Comput. Entertain.	2004	DBLP DOI BibTeX RDF
9	Newton Lee	A word from the editor.	Comput. Entertain.	2004	DBLP DOI BibTeX RDF
9	Clemens C. Wüst, Wim F. J. Verhaegh	Quality Control for Scalable Media Processing Applications.	J. Sched.	2004	DBLP DOI BibTeX RDF	load variations, real-time systems, scalability, Markov decision process, quality control, media processing
9	John A. Rose, Akira Suyama	Physical modeling of biomolecular computers: Models, limitations, and experimental validation.	Nat. Comput.	2004	DBLP DOI BibTeX RDF	DNA strand design, molecular mechanics, statistical thermodynamics, biomolecular computing, kinetics, DNA-based computing
9	Ulrich Clarenz, Udo Diewald, Martin Rumpf	Processing textured surfaces via anisotropic geometric diffusion.	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
9	Chia-Jui Hsu, Fuat Keceli, Ming-Yung Ko, Shahrooz Shahparnia, Shuvra S. Bhattacharyya	DIF: An Interchange Format for Dataflow-Based Design Tools.	SAMOS	2004	DBLP DOI BibTeX RDF
9	Rosa Meo, Pier Luca Lanzi, Maristella Matera, Danilo Careggio, Roberto Esposito	Employing Inductive Databases in Concrete Applications.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
9	Kazuhiko Terashima, Takanori Miyoshi, Juan Urbano, Hideo Kitagawa	Frequency Shape Control of Omni-directional Wheelchair to Increase User's Comfort.	ICRA	2004	DBLP DOI BibTeX RDF
9	Steve Anonsen	Experiences in Modeling for a Domain Specific Language.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
9	Aleksander Pivk, Philipp Cimiano, York Sure	From Tables to Frames.	ISWC	2004	DBLP DOI BibTeX RDF
9	Mahadevan Gomathisankaran, Akhilesh Tyagi	WARM SRAM: A Novel Scheme to Reduce Static Leakage Energy in SRAM Arrays.	ISVLSI	2004	DBLP DOI BibTeX RDF
9	Hongbo Li 0012, Ronghua Xu, Ning Zhang	On Miquel's Five-Circle Theorem.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF	Miquel’s Theorem, Mathematics mechanization, Null bracket algebra, “breefs”, Conformal geometric algebra
9	Markus Arns, Markus Fischer, Carsten Tepper, Markus Völker	Visualization of Analysis Results in the ProC/B Toolset.	QEST	2004	DBLP DOI BibTeX RDF
9	Fabian Mörchen, Alfred Ultsch	Mining Hierarchical Temporal Patterns in Multivariate Time Series.	KI	2004	DBLP DOI BibTeX RDF
9	Rasit Onur Topaloglu, Alex Orailoglu	On mismatch in the deep sub-micron era - from physics to circuits.	ASP-DAC	2004	DBLP DOI BibTeX RDF
9	Henning Fernau	Extracting Minimum Length Document Type Definitions Is NP-Hard.	ICGI	2004	DBLP DOI BibTeX RDF
9	Mark E. Femal, Vincent W. Freeh	Safe Overprovisioning: Using Power Limits to Increase Aggregate Throughput.	PACS	2004	DBLP DOI BibTeX RDF	Overprovisioning, managing power limits
9	Robert L. Williams II, Mayank Srivastava, John N. Howell, Robert R. Conatser Jr., David C. Eland, Janet M. Burns, Anthony G. Chila	The virtual haptic back for palpatory training.	ICMI	2004	DBLP DOI BibTeX RDF	palpatory diagnosis, virtual haptic back, training, haptics, PHANToM
9	Kay Sommers, Barbara M. Robinson	Security awareness training for students at virginia commonwealth university.	SIGUCCS	2004	DBLP DOI BibTeX RDF	security awareness training, security awareness videos, student security awareness training
9	Marcos R. S. Borges, José A. Pino, Renata Mendes de Araujo	Bridging the Gap Between Decisions and Their Implementations.	CRIWG	2004	DBLP DOI BibTeX RDF
9	Cathal Gurrin, Hyowon Lee 0001, Alan F. Smeaton	Fischlár @ TRECVID2003: system description.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	content browsing, video libraries, video information retrieval
9	Marek Grochowski, Norbert Jankowski	Comparison of Instance Selection Algorithms II. Results and Comments.	ICAISC	2004	DBLP DOI BibTeX RDF
9	Norbert Jankowski, Marek Grochowski	Comparison of Instances Seletion Algorithms I. Algorithms Survey.	ICAISC	2004	DBLP DOI BibTeX RDF
9	Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns	Embedded Software Analysis with MOTOR.	SFM	2004	DBLP DOI BibTeX RDF
9	Lorenzo Bigagli, Stefano Nativi, Paolo Mazzetti, G. Villoresi	GI-Cat: a Web Service for Dataset Cataloguing Based on ISO 19115.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
9	Noriko Ito, Toru Sugimoto, Shino Iwashita, Ichiro Kobayashi, Michio Sugeno	A model of rhetorical structure analysis of Japanese instructional texts and its application to a smart help system.	SMC (4)	2004	DBLP DOI BibTeX RDF
9	Baris Arslan, Alex Orailoglu	Design space exploration for aggressive test cost reduction in CircularScan architectures.	ICCAD	2004	DBLP DOI BibTeX RDF
9	Guy De Tré, Rita M. M. De Caluwe, Henri Prade	Null Values Revisited in Prospect of Data Integration.	ICSNW	2004	DBLP DOI BibTeX RDF	data integration, many-valued logic, data semantics, database modelling, Null values
9	Harlan Onsrud, Gilberto Câmara, James Campbell, Narnindi Sharad Chakravarthy	Public Commons of Geographic Data: Research and Development Challenges.	GIScience	2004	DBLP DOI BibTeX RDF
9	Klaus Zwiorek, Julia Kloeckner, Ernst Wagner, Conrad Coester	In Vitro Gene Transfection with Surface-Modified Gelatin Nanoparticles.	ICMENS	2004	DBLP DOI BibTeX RDF
9	Jehan Wickramasuriya, Nalini Venkatasubramanian	Dynamic Access Control for Ubiquitous Environments.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
9	Thomas Herrmann, Gabriele Kunau, Kai-Uwe Loser, Natalja Menold	Socio-technical walkthrough: designing technology along work processes.	PDC	2004	DBLP DOI BibTeX RDF	modeling, participatory design, diagrams, socio-technical systems
9	Dung N. Lam, K. Suzanne Barber	Debugging Agent Behavior in an Implemented Agent System.	PROMAS	2004	DBLP DOI BibTeX RDF
9	Yannis Smaragdakis	Invited talk: program generators and the tools to make them.	PPDP	2004	DBLP DOI BibTeX RDF	safety guarantees, meta-programming, program generators
9	Peter Triantafillou, Andreas A. Economides	Subscription Summarization: A New Paradigm for Efficient Publish/Subscribe Systems.	ICDCS	2004	DBLP DOI BibTeX RDF
9	Amy J. Ko, Brad A. Myers, Htet Htet Aung	Six Learning Barriers in End-User Programming Systems.	VL/HCC	2004	DBLP DOI BibTeX RDF
9	Dominic W. Massaro	Symbiotic Value of an Embodied Agent in Language Learning.	HICSS	2004	DBLP DOI BibTeX RDF
9	Renate Motschnig-Pitrik, Michael Derntl, Juergen Mangler	Developing Cooperative Environment Web Services Based on Action Research.	PAKM	2004	DBLP DOI BibTeX RDF
9	Kenneth L. Calvert, Jim Griffioen, Billy Mullins, Leonid B. Poutievski, Amit Sehgal	Secure, Customizable, Many-to-One Communication.	IWAN	2004	DBLP DOI BibTeX RDF
9	S. Venkatraman, Ajith Abraham, Marcin Paprzycki	Significance of Steganography on Data Security.	ITCC (2)	2004	DBLP DOI BibTeX RDF
9	Horst Hörtner, Pascal Maresch, Robert Praxmarer, Christian Naglhofer	Libro Vision: Gesture-Controlled Virtual Book.	TIDSE	2004	DBLP DOI BibTeX RDF
9	Tobias Breyer, Michael Klein, Philipp Obreiter, Birgitta König-Ries	Activity-Based User Modeling in Service-Oriented Ad-Hoc-Networks.	WONS	2004	DBLP DOI BibTeX RDF
9	Michele Kleckner	Where writing and rhetoric meet multimedia production designing an effective, interdisciplinary capstone experience.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	co-taught, multimedia, curriculum, interdisciplinary, capstone course, capstone project
9	Christian Haack, Alan Jeffrey	Pattern-Matching Spi-Calculus.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
9	Robert B. Gramacy, Herbert K. H. Lee, William G. Macready	Parameter space exploration with Gaussian process trees.	ICML	2004	DBLP DOI BibTeX RDF
9	Jacob W. Kallman, Pedrum Minaie, Jason Truppi, Sergiu Dascalu, Frederick C. Harris Jr.	Software Modeling for Open Distributed Network Monitoring Systems.	SAPIR	2004	DBLP DOI BibTeX RDF
9	Dung N. Lam, K. Suzanne Barber	Verifying and Explaining Agent Behavior in an Implemented Agent System.	AAMAS	2004	DBLP DOI BibTeX RDF
9	Cynthia Breazeal, Guy Hoffman, Andrea Lockerd	Teaching and Working with Robots as a Collaboration.	AAMAS	2004	DBLP DOI BibTeX RDF
9	Yu Jiang, Binxing Fang, Mingzeng Hu	Techniques in Mapping Router-Level Internet Topology from Multiple Vantage Points.	PDCAT	2004	DBLP DOI BibTeX RDF
9	Christophe Croux, Peter Filzmoser, G. Pison, Peter J. Rousseeuw	Fitting multiplicative models by robust alternating regressions.	Stat. Comput.	2003	DBLP DOI BibTeX RDF	biplot, alternating regression, FANOVA, alternating regression, median polish, two-way table, robustness, factor analysis, exploratory data analysis
9	Alexis Ocampo, Daniela Boggio, Jürgen Münch, Gino Palladino	Toward a Reference Process for Developing Wireless Internet Services.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Mobile services commerce, wireless Internet services, process elicitation, reference process model, software process modeling, software project management
9	Eric B. Lum, Aleksander Stompel, Kwan-Liu Ma	Using Motion to Illustrate Static 3D Shape--Kinetic Visualization.	IEEE Trans. Vis. Comput. Graph.	2003	DBLP DOI BibTeX RDF	Animation, volume rendering, texture, scientific visualization, graphics hardware, visual perception, particle systems
9	Linda M. Null, Julia Lobur	MarieSim: The MARIE computer simulator.	ACM J. Educ. Resour. Comput.	2003	DBLP DOI BibTeX RDF	Computer architecture simulator, introductory architecture, education
9	Mark A. Holliday	Animation of computer networking concepts.	ACM J. Educ. Resour. Comput.	2003	DBLP DOI BibTeX RDF	Selective Repeat, hypertext transfer protocol., media access, fragmentation, encapsulation, error control, Java applets, Protocol stack, CSMA/CD, name resolution
9	Irina B. Virbitskaite, Natalya S. Gribovskaja	Open Maps and Trace Semantics for Timed Partial Order Models.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	timed event structures, trace equivalence, Category theory, partial order semantics
9	Carmen Zannier, Frank Maurer	Tool Support for Complex Refactoring to Design Patterns.	XP	2003	DBLP DOI BibTeX RDF
9	Roy A. Maxion	Masquerade Detection Using Enriched Command Lines.	DSN	2003	DBLP DOI BibTeX RDF
9	Jan Pettersen Nytun, Christian S. Jensen	Modeling and Testing Legacy Data Consistency Requirements.	UML	2003	DBLP DOI BibTeX RDF
9	Avigdor Gal, Alberto Trombetta, Ateret Anaby-Tavor, Danilo Montesi	A Model for Schema Integration in Heterogeneous Databases.	IDEAS	2003	DBLP DOI BibTeX RDF
9	Rem W. Collier, Gregory M. P. O'Hare, T. D. Lowen, Colm Rooney	Beyond Prototyping in the Factory of Agents.	CEEMAS	2003	DBLP DOI BibTeX RDF
9	Shinyoung Lim, Youjin Song	Secure Online Internet Reservation of e-Government Service (ORGS) Using Java Card Applications Toolkit (J-CAT).	EGOV	2003	DBLP DOI BibTeX RDF
9	Thomas A. Kuhn, David von Oheimb	Interacting State Machines for Mobility.	FME	2003	DBLP DOI BibTeX RDF	dynamic communication, boxed ambients, Interacting State Machines, verification, mobility, mobile agents, formal modeling
9	Johan Moe, David A. Carr, Mikael Patel	Using Observation and Refinement to Improve Distributed Systems Test.	CSMR	2003	DBLP DOI BibTeX RDF
9	Roman Novak	Side-Channel Attack on Substitution Blocks.	ACNS	2003	DBLP DOI BibTeX RDF
9	Edward C. Kaiser, Alex Olwal, David McGee, Hrvoje Benko, Andrea Corradini 0002, Xiaoguang Li, Philip R. Cohen, Steven Feiner	Mutual disambiguation of 3D multimodal interaction in augmented and virtual reality.	ICMI	2003	DBLP DOI BibTeX RDF	augmented/virtual reality, evaluation, multimodal interaction
9	James D. Allert	A companion technology approach to CS1: handheld computers with concept visualization software.	ITiCSE	2003	DBLP DOI BibTeX RDF	visualization, PDA, handheld computer
9	Han Noot, Zsófia Ruttkay	Gesture in Style.	Gesture Workshop	2003	DBLP DOI BibTeX RDF
9	Daniel Fu, Randy Jensen, Ryan T. Houlette	Human systems modeling: specifying the behavior of computer-generated forces without programming.	WSC	2003	DBLP DOI BibTeX RDF
9	Alireza Fadaei Tehrani, Ali Mohammad Doosthosseini, Hamid Reza Moballegh, Peiman Amini, Mohammad Mehdi DaneshPanah	A New Odometry System to Reduce Asymmetric Errors for Omnidirectional Mobile Robots.	RoboCup	2003	DBLP DOI BibTeX RDF
9	Hans-Peter Kriegel, Stefan Schönauer	Similarity Search in Structured Data.	DaWaK	2003	DBLP DOI BibTeX RDF
9	Paul Reed	An Oberon Linker for an Imperfect World - More Notes on Building Your Own Tools.	JMLC	2003	DBLP DOI BibTeX RDF
9	Desney S. Tan, Mary Czerwinski, George G. Robertson	Women go with the (optical) flow.	CHI	2003	DBLP DOI BibTeX RDF	user study, optical flow, gender, large displays, field of view, spatial abilities
9	Marcus Jerome Pickering, Lawrence W. C. Wong, Stefan M. Rüger	ANSES: Summarisation of News Video.	CIVR	2003	DBLP DOI BibTeX RDF
9	Massimo Zancanaro, Cesare Rocchi, Oliviero Stock	Automatic Video Composition.	Smart Graphics	2003	DBLP DOI BibTeX RDF
9	Emil Talpes, Diana Marculescu	A critical analysis of application-adaptive multiple clock processors.	ISLPED	2003	DBLP DOI BibTeX RDF	multi clock processors, dynamic voltage scaling, microarchitecture, simulation framework, globally asynchronous locally synchronous
9	Jamison Masse, Saehwa Kim, Seongsoo Hong	Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF
9	Yu Chen, Wei Jyh Heng	Automatic synchronization of speech transcript and slides in presentation.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
9	Deni Llambiri, Alexander Totok, Vijay Karamcheti	Efficiently Distributing Component-Based Applications Across Wide-Area Environments.	ICDCS	2003	DBLP DOI BibTeX RDF
9	Lyndell St. Ville, Peter Dickman	Garnet: A Middleware Architecture for Distributing Data Streams Originating in Wireless Sensor Networks.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
9	Dolores M. Zage, Wayne M. Zage	An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model.	ICSE	2003	DBLP DOI BibTeX RDF
9	Rubin A. Parekhji	Testing Embedded Cores and SOCs-DFT, ATPG and BIST Solutions.	VLSI Design	2003	DBLP DOI BibTeX RDF
9	Yair Amir, Cristina Nita-Rotaru, Jonathan Robert Stanton, Gene Tsudik	Scaling Secure Group Communication Systems: Beyond Peer-to-Peer.	DISCEX (1)	2003	DBLP DOI BibTeX RDF