Search results for "accompanying"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Li-Chuan Weng, Xiaojun Wang 0001, Bin Liu 0001	A Survey of Dynamic Power Optimization Techniques.	IWSOC	2003	DBLP DOI BibTeX RDF
9	John F. Croix, D. F. Wong 0001	Blade and razor: cell and interconnect delay analysis using current-based models.	DAC	2003	DBLP DOI BibTeX RDF	blade, current-based model, razor, recursive convolution, timing analysis, interconnect model, cell model
9	Catherine Pelachaud, Massimo Bilvi	Computational Model of Believable Conversational Agents.	Communication in Multiagent Systems	2003	DBLP DOI BibTeX RDF
9	Steven Feiner	Taking It to the Streets: How Virtual Reality Can Change Mobile Computing.	VR	2003	DBLP DOI BibTeX RDF
9	Jane Coughlan, Robert D. Macredie	Effective Communication in Requirements Elicitation: A Comparison of Methodologies.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Socially oriented methodologies, User-designer interaction, Communication, Context, Requirements, Elicitation
9	Francis K. H. Quek, David McNeill, Robert K. Bryll, Susan Duncan, Xin-Feng Ma, Cemil Kirbas, Karl E. McCullough, Rashid Ansari	Multimodal human discourse: gesture and speech.	ACM Trans. Comput. Hum. Interact.	2002	DBLP DOI BibTeX RDF	conversational interaction, human interaction models, gesture, Multimodal interaction, speech, discourse, gesture analysis
9	Shlomo Dubnov, Ziv Bar-Joseph, Ran El-Yaniv, Dani Lischinski, Michael Werman	Synthesizing Sound Textures through Wavelet Tree Learning.	IEEE Computer Graphics and Applications	2002	DBLP DOI BibTeX RDF
9	Neil C. Rowe	Finding and Labeling the Subject of a Captioned Depictive Natural Photograph.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	depiction, information retrieval, image processing, multimedia, segmentation, natural-language understanding, photograph, background, subject, caption
9	Martin V. Butz, Stewart W. Wilson	An algorithmic description of XCS.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Algorithm, XCS, Classifier system
9	Vangalur S. Alagar, Ralf Lämmel	Three-Tiered Specification of Micro-architectures.	ICFEM	2002	DBLP DOI BibTeX RDF	UML, interaction, formal methods, frameworks, design patterns, reuse, evolution, object-oriented design, micro-architectures
9	Michael R. Berthold, Bernd Wiswedel, David E. Patterson	Neighborgram Clustering Interactive Exploration of Cluster Neighborhoods.	ICDM	2002	DBLP DOI BibTeX RDF
9	Ilia Baldine, Laura E. Jackson, George N. Rouskas	Helios: A Broadcast Optical Architecture.	NETWORKING	2002	DBLP DOI BibTeX RDF
9	Tina Siegfried	The Experience of German Local Communities with e-Government - Results of the MEDIA@Komm Project.	EGOV	2002	DBLP DOI BibTeX RDF
9	Imrich Chlamtac	Protocols for Bandwidth Management in Third Generation Optical Networks.	HiPC	2002	DBLP DOI BibTeX RDF
9	Augusto Sampaio, Jim Woodcock 0001, Ana Cavalcanti 0001	Refinement in Circus.	FME	2002	DBLP DOI BibTeX RDF	unifying theories of programming, distribution, CSP, Z
9	Robert P. Goldman, David J. Musliner, Michael J. S. Pelican	Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis.	HSCC	2002	DBLP DOI BibTeX RDF
9	Alec Yasinsac, James A. Davis	Modeling Protocols for Secure Group Communications in Ad Hoc Networks: (Extended Abstract).	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
9	Edward J. Williams, Onur M. Ülgen, Chris DeWitt	Manufacturing modeling methods: an approach and interface for building generic manufacturing kanban-systems models.	WSC	2002	DBLP DOI BibTeX RDF
9	Eve Cohen, Roshan K. Thomas, William H. Winsborough, Deborah Shands	Models for coalition-based access control (CBAC).	SACMAT	2002	DBLP DOI BibTeX RDF	access control, authorizations, security policy, roles, tasks, domain models, teams, coalitions
9	Per Jacobsson	Using a tree view metaphor to visualize hardware simulation for testing.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	hardware simulation, third generation mobile telephony, tree view, graphical user interface, usability test, 3G
9	Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte	"Higher-Order" Mathematics in B.	ZB	2002	DBLP DOI BibTeX RDF
9	Birgit Pröll, Jürgen Palkoska	On Accessing and Customizing Cultural Heritage Objects in Tiscover.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
9	Xinping Zhu, Sharad Malik	A hierarchical modeling framework for on-chip communication architectures.	ICCAD	2002	DBLP DOI BibTeX RDF
9	Hao Fan	Tracing Data Lineage Using Automed Schema Transformation Pathways.	BNCOD	2002	DBLP DOI BibTeX RDF
9	Christian Heinlein	Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols.	OTM	2002	DBLP DOI BibTeX RDF
9	Adeel Abbas, Arslan Ahmed, Affan Ahmed, Waheed Uz Zaman Bajwa, Ahtasham Anwar, Sohail Abbasi	A retargetable tool-suite for the design of application specific instruction set processors using a machine description language.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
9	Paul D. Smith, Matt Kucic, Richard Ellis, Paul E. Hasler, David V. Anderson	Mel-frequency cepstrum encoding in analog floating-gate circuitry.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
9	Johnny C. Lee, Jodi Forlizzi, Scott E. Hudson	The kinetic typography engine: an extensible system for animating expressive text.	UIST	2002	DBLP DOI BibTeX RDF	automating animation effects, time-based presentation, kinetic typography, dynamic text
9	Max Mühlhäuser, Christoph Trompler	Learning in the Digital Learning Age: Paving a Smooth Path with Digital Lecture Halls.	HICSS	2002	DBLP DOI BibTeX RDF	Digital Lecture Hall, Electronic Classroom, Virtual University, Computer Assisted Learning
9	Adrian Johnstone, Elizabeth Scott	Generalised Reduction Modified LR Parsing for Domain Specific Language Prototyping.	HICSS	2002	DBLP DOI BibTeX RDF	General Context Free Grammar parsing, Tomita Parser, Language prototyping
9	Mehmet Kivanç Mihçak, Ramarathnam Venkatesan, Mustafa Kesal	Cryptanalysis of Discrete-Sequence Spread Spectrum Watermarks.	Information Hiding	2002	DBLP DOI BibTeX RDF
9	Wolfgang Mahnke, Norbert Ritter	The ORDB-Based SFB-501-Reuse-Repository.	EDBT	2002	DBLP DOI BibTeX RDF
9	Kanad Chakraborty, Shriram Kulkarni, Mayukh Bhattacharya, Pinaki Mazumder, Anurag Gupta	A physical design tool for built-in self-repairable RAMs.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
9	Joseph Bergin, Charles Kelemen, Myles F. McNally, Thomas L. Naps, Michael Goldweber, Chris Power, Stephen J. Hartley	Non-programming resources for an introduction to CS: a collection of resources for the first courses in computer science.	ACM SIGCSE Bull.	2001	DBLP DOI BibTeX RDF
9	Ebru Dincel, Nenad Medvidovic, André van der Hoek	Measuring Product Line Architectures.	PFE	2001	DBLP DOI BibTeX RDF
9	Darren Dalcher	Forensic ECBS: The Way Forward.	ECBS	2001	DBLP DOI BibTeX RDF
9	Peggy Agouris, Anthony Stefanidis, Sotirios Gyftakis	Quality-aware deformable models for change detection.	ICIP (2)	2001	DBLP DOI BibTeX RDF
9	Lutz Bichler, Ansgar Radermacher, Andy Schürr	Combining Data Flow Equations with UML/Realtime.	ISORC	2001	DBLP DOI BibTeX RDF
9	Steven D. Johnson	View from the Fringe of the Fringe (Joint with CHARME 2001).	TPHOLs	2001	DBLP DOI BibTeX RDF
9	Ralf Lämmel	Grammar Adaptation.	FME	2001	DBLP DOI BibTeX RDF
9	Kee Sup Kim, Rathish Jayabharathi, Craig Carstens	SpeedGrade: An RTL Path Delay Fault Simulator.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
9	Lili Qiu, George Varghese, Subhash Suri	Fast firewall implementations for software-based and hardware-based routers.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF
9	Marco Aurélio Gerosa, Hugo Fuks, Carlos José Pereira de Lucena	Use of Categorization and Structuring of Messages in Order to Organize the Discussion and Reduce Information Overload in Asynchronous Textual Communication Tools.	CRIWG	2001	DBLP DOI BibTeX RDF
9	Sanjay Modgil, Peter Hammond	Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans.	AIME	2001	DBLP DOI BibTeX RDF
9	Thomas Kirste, Thorsten Herfet, Michael Schnaider	EMBASSI: multimodal assistance for universal access to infotainment and service infrastructures.	Workshop on Universal Accessibility of Ubiquitous Computing	2001	DBLP DOI BibTeX RDF	multi (poly-)modal interaction, semantic protocol, multi-media, man-machine interaction, assistance
9	Nataly S. Moskaljova, Irina B. Virbitskaite	On the Category of Event Structures with Dense Time.	FCT	2001	DBLP DOI BibTeX RDF	timed event structures, timed bisimulation, category theory
9	Rajeev Alur, Thao Dang 0001, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar 0001, Insup Lee 0001, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky	Hierarchical Hybrid Modeling of Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
9	Peter K. K. Loh, Heiko Schröder, Wen-Jing Hsu	Fault-Tolerant Routing on Complete Josephus Cubes.	ACSAC	2001	DBLP DOI BibTeX RDF
9	Michael D. Hutton	Interconnect prediction for programmable logic devices.	SLIP	2001	DBLP DOI BibTeX RDF	interconnect prodiction, wireability, architecture, programmable logic device
9	Christopher T. Weaver, Rajeev Krishna, Lisa Wu 0001, Todd M. Austin	Application specific architectures: a recipe for fast, flexible and power efficient designs.	CASES	2001	DBLP DOI BibTeX RDF
9	Pedro C. Diniz, Mary W. Hall, Joonseok Park, Byoungro So, Heidi E. Ziegler	Bridging the Gap between Compilation and Synthesis in the DEFACTO System.	LCPC	2001	DBLP DOI BibTeX RDF
9	Jan C. Wright	Single-source indexing.	SIGDOC	2001	DBLP DOI BibTeX RDF	indexing, single-sourcing
9	Gert-Jan de Vreede, Douglas R. Vogel, Alexander Verbraeck, Henk G. Sol	Collaborative Engineering of Processes and Systems - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
9	Giedrius Slivinskas, Christian S. Jensen	Enhancing an Extensible Query Optimizer with Support for Multiple Equivalence Types.	ADBIS	2001	DBLP DOI BibTeX RDF
9	João Gouveia, Georgios Koutsoukos, Luís Andrade 0001, José Luiz Fiadeiro	Tool Support for Coordination-Based Software Evolution.	TOOLS (38)	2001	DBLP DOI BibTeX RDF
9	Ann Garrison Darrin, Richard Conde, Bobbie Chern, Phil Luers, Steve Jurczyk, Carl Mills	Adaptive Instrument Module: Space Instrument Controller "brain" Through Programmable Logic Devices.	Evolvable Hardware	2001	DBLP DOI BibTeX RDF
9	Weiqiang Wang, Wen Gao 0001	Automatic Segmentation of News Items Based on Video and Audio Features.	IEEE Pacific Rim Conference on Multimedia	2001	DBLP DOI BibTeX RDF
9	Ying Li, C.-C. Jay Kuo	Movie Event Detection by Using Audio Visual Information.	IEEE Pacific Rim Conference on Multimedia	2001	DBLP DOI BibTeX RDF
9	Sungjoo Yoo, Kiyoung Choi, Dong Sam Ha	Performance improvement of geographically distributed cosimulation by hierarchically grouped messages.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
9	Massimo Fasciano, Guy Lapalme	Intentions in the Coordinated Generation of Graphics and Text from Tabular Data.	Knowl. Inf. Syst.	2000	DBLP DOI BibTeX RDF	Automatic graphics generation, User intentions, Text generation
9	Shane M. Greenstein	The Commercialization of Information Infrastructure as Technological Mediation: The Internet Access Market.	Inf. Syst. Frontiers	2000	DBLP DOI BibTeX RDF	internet, access, electronic commerce, infrastructure, ISP
9	John Albert Horst	Architecture, Design Methodology, and Component-Based Tools for a Real-Time Inspection System.	ISORC	2000	DBLP DOI BibTeX RDF
9	J. Jenny Li, Joseph Robert Horgan	Using SDL to Model an Object-Oriented Real-Time Software Architectural Design.	ISORC	2000	DBLP DOI BibTeX RDF
9	J. Jenny Li, Joseph Robert Horgan	A Tool Suite for Diagnosis and Testing of Software Design Specifications.	DSN	2000	DBLP DOI BibTeX RDF	Software design specification, xSuds and Specification and Description Language (SDL [2]), software engineering tool, coverage testing
9	Fernando Muge, Isabel Granado, Michele Mengucci, Pedro Pina, Vitorino Ramos, Nikolay Metodiev Sirakov, João Rogério Caldas Pinto, A. Marcolino, Mário Ramalho, Pedro Vieira, A. Maia do Amaral	Automatic Feature Extraction and Recognition for Digital Access of Books of the Renaissance.	ECDL	2000	DBLP DOI BibTeX RDF
9	Jon M. Sorenson, Teresa Head-Gordon	Matching simulation and experiment (extended abstract): a new simplified model for simulating protein folding.	RECOMB	2000	DBLP DOI BibTeX RDF
9	Erik Elmroth, Fred G. Gustavson	High-Performance Library Software for QR Factorization.	PARA	2000	DBLP DOI BibTeX RDF	Serial and parallel library software, register blocking, unrolling, SMP systems, recursion, dynamic load balancing, QR factorization
9	J. Jenny Li, Joseph Robert Horgan	Simulation-Trace-Based Component Performance Prediction.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	software slicing, Communicating extended finite state machine (CEFSM), stochastic-EFSM and Specification and Description Language (SDL), Software architectural design
9	J. Ángel Velázquez-Iturbide	Recursion in gradual steps (is recursion really that difficult?).	SIGCSE	2000	DBLP DOI BibTeX RDF
9	Martin V. Butz, Stewart W. Wilson	An Algorithmic Description of XCS.	IWLCS	2000	DBLP DOI BibTeX RDF
9	Jonathan I. Maletic, Andrian Marcus	Using latent semantic analysis to identify similarities in source code to support program understanding.	ICTAI	2000	DBLP DOI BibTeX RDF	source code similarities, information retrieval method, corpus based statistical method, software component clustering, nontrivial software system, internal documentation, information retrieval, reverse engineering, statistical analysis, software components, natural languages, natural language, program understanding, source code, computational linguistics, latent semantic analysis, Mosaic, system documentation, LSA
9	Farinaz Koushanfar, Miodrag Potkonjak, Vandana Prabhu, Jan M. Rabaey	Processors for Mobile Applications.	ICCD	2000	DBLP DOI BibTeX RDF
9	Jose Miguel Vieira dos Santos	Concurrent Scan Monitoring and Multi-Pattern Search.	IOLTW	2000	DBLP DOI BibTeX RDF	Dependable VLSI, DFT, Concurrent test, BST
9	Paul F. Syverson, Iliano Cervesato	The Logic of Authentication Protocols.	FOSAD	2000	DBLP DOI BibTeX RDF
9	Catherine Plaisant, Anita Komlodi, Francis Lindsay	Evaluation Challenges for a Federation of Heterogeneous Information Providers: The Case of NASA's Earth Science Information Partnerships.	WETICE	2000	DBLP DOI BibTeX RDF
9	Raimund L. Feldmann, Wolfgang Mahnke, Norbert Ritter, Birgit Geppert, Frank Rößler	An ORDBMS-Based Reuse Repository Supporting the Quality Improvement Paradigm - Exemplified by the SDL-Pattern Approach.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	ORDBMS, QIP, SDL-Pattern, Experience Base, Reuse Repository
9	Kurt Cornelis, Marc Pollefeys, Maarten Vergauwen, Luc Van Gool	Augmented Reality Using Uncalibrated Video Sequences.	SMILE	2000	DBLP DOI BibTeX RDF
9	Steven L. Cornford, Martin S. Feather, John C. Kelly, Timothy W. Larson, Burton Sigal, James D. Kiper	Design and Development Assessment.	IWSSD	2000	DBLP BibTeX RDF	Assessment, Software Processes, Risk Management, Requirements Elicitation, Quality Assurance, Capability Maturity Model, Tradeoffs
9	Jun Ginbayashi, Rieko Yamamoto, Keiji Hashimoto	Business Component Framework and Modeling Method for Component-Based Application Architecture.	EDOC	2000	DBLP DOI BibTeX RDF	business component framework, component-based application architecture, business application systems, object-oriented programming, object-oriented modeling, Enterprise JavaBeans, component-based architecture, modeling method, reusable software components
9	Matunda Nyanchama, Sylvia L. Osborn	The Role Graph Model and Conflict of Interest.	ACM Trans. Inf. Syst. Secur.	1999	DBLP DOI BibTeX RDF	role graphs, role-based security, conflict of interest
9	Darko Kirovski, Miodrag Potkonjak, Lisa M. Guerra	Improving the observability and controllability of datapaths foremulation-based debugging.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
9	Renate Motschnig-Pitrik, Jens Kaasbøll	Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	part-of relationship, part-of relationship categories, partonomy, Conceptual modeling, aggregation, object-oriented design, object-oriented analysis, semantic constraints, object life-cycle
9	Harpreet S. Sawhney, Rakesh Kumar 0001	True Multi-Image Alignment and Its Application to Mosaicing and Lens Distortion Correction.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	lens distortion correction, Image sequence analysis, video mosaics
9	Vijay K. Madisetti, Yong-Kyu Jung, Moinul H. Khan, Jeongwook Kim, Theodore Finnessy	Reengineering Legacy Embedded Systems.	IEEE Des. Test Comput.	1999	DBLP DOI BibTeX RDF
9	Peter N. Belhumeur, James S. Duncan, Gregory D. Hager, Drew V. McDermott, A. Stephen Morse, Steven W. Zucker	Computational Vision at Yale.	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF
9	Charles Lefurgy, Eva Piccininni, Trevor N. Mudge	Evaluation of a High Performance Code Compression Method.	MICRO	1999	DBLP DOI BibTeX RDF
9	J. Jenny Li, Joseph Robert Horgan	chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	cSuds and Specification and Description Language (SDL), Software specification, debugging tool, coverage testing
9	Linda Stern, Harald Søndergaard, Lee Naish	A strategy for managing content complexity in algorithm animation.	ITiCSE	1999	DBLP DOI BibTeX RDF
9	Tong Zhang 0004, C.-C. Jay Kuo	Heuristic approach for generic audio data segmentation and annotation.	ACM Multimedia (1)	1999	DBLP DOI BibTeX RDF	audio content anlaysis, audio database management, audio segmentation and indexing, heuristic rules
9	Henrik Thane, Hans Hansson	Towards Systematic Testing of Distributed Real-Time Systems.	RTSS	1999	DBLP DOI BibTeX RDF	scheduling, Testing, testability, determinism, distributed real-time systems, reproducibility, response-time analysis, probe-effect
9	Howard A. Peelle	Teaching J as a computer notation for secondary mathematics.	APL	1999	DBLP DOI BibTeX RDF	APL
9	Janet M. Six, Ioannis G. Tollis	Circular Drawings of Biconnected Graphs.	ALENEX	1999	DBLP DOI BibTeX RDF
9	Yukio Ota	Historical Role and Capability of Visual Language.	VL	1999	DBLP DOI BibTeX RDF
9	Bozidar Radunovic	An Overview of Advances in Reconfigurable Computing Systems.	HICSS	1999	DBLP DOI BibTeX RDF
9	Aldo de Moor, Hans Weigand	An Ontological Framework for User-Driven System Specification.	HICSS	1999	DBLP DOI BibTeX RDF
9	Jonathan I. Maletic, Naveen Valluri	Automatic Software Clustering via Latent Semantic Analysis.	ASE	1999	DBLP DOI BibTeX RDF
9	Rüdiger Wehner	Large-Scale Navigation: The Insect Case.	COSIT	1999	DBLP DOI BibTeX RDF	skylight compass, polarized light, landmark guidance, matching-to-memory, desert ants, Cataglyphis, Path integration
9	Arnon Amir, Michael Lindenbaum	A Generic Grouping Algorithm and Its Quantitative Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	grouping analysis, Wald's SPRT, generic grouping algorithm, performance prediction, maximum likelihood, Perceptual grouping, graph clustering
9	Sheayun Lee, Chang-Gun Lee, Minsuk Lee, Sang Lyul Min, Chong-Sang Kim	Limited Preemptible Scheduling to Embrace Cache Memory in Real-Time Systems.	LCTES	1998	DBLP DOI BibTeX RDF
9	Markus Jakobsson, Ari Juels	X-Cash: Executable Digital Cash.	Financial Cryptography	1998	DBLP DOI BibTeX RDF