Search results for "pace"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Sang-keun Jang, Robert G. Hutchins, Phillip E. Pace	Boost phase ICBM engagement using space-based interceptors: A comparison of guidance laws.	SoSE	2008	DBLP DOI BibTeX RDF
20	You-Quan Chen, Phillip E. Pace	Simulation of information metrics to assess the value of networking in a general battlespace topology.	SoSE	2008	DBLP DOI BibTeX RDF
20	You-Quan Chen, Phillip E. Pace	Simulation of network-enabled radar systems to assess the value of jamming in a general radar topology.	SoSE	2008	DBLP DOI BibTeX RDF
20	Atif Zafar, John Hickner, Wilson D. Pace, William M. Tierney	An Adverse Drug Event and Medication Error Reporting System for Ambulatory Care (MEADERS).	AMIA	2008	DBLP BibTeX RDF
20	Derek W. Seward, Conrad Pace, Rahee Agate	Safe and effective navigation of autonomous robots in hazardous environments.	Auton. Robots	2007	DBLP DOI BibTeX RDF	Task effective, Safety, Risk analysis, Autonomous vehicles, Partially observable Markov decision processes, Unstructured environments, Real-time control system, Robot architecture
20	Carmine Ciofi, Felice Crupi, Calogero Pace, Graziella Scandurra, Maurizio Patane	A New Circuit Topology for the Realization of Very Low-Noise Wide-Bandwidth Transimpedance Amplifier.	IEEE Trans. Instrum. Meas.	2007	DBLP DOI BibTeX RDF
20	Brian L. Luke, Phillip E. Pace	N-Sequence RSNS Ambiguity Analysis.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
20	Pace P. Nielsen	Odd perfect numbers have at least nine distinct prime factors.	Math. Comput.	2007	DBLP DOI BibTeX RDF
20	Paolo Magnone, Calogero Pace, Felice Crupi, Gino Giusi	Low frequency noise in nMOSFETs with subnanometer EOT hafnium-based gate dielectrics.	Microelectron. Reliab.	2007	DBLP DOI BibTeX RDF
20	Paolo Srinivasan, Felice Crupi, Eddy Simoen, Paolo Magnone, Calogero Pace, Durga Misra, Cor Claeys	Interfacial layer quality effects on low-frequency noise (1/f) in p-MOSFETs with advanced gate stacks.	Microelectron. Reliab.	2007	DBLP DOI BibTeX RDF
20	Pasquale Pace, Zhili Sun	Demand Sensitive Model for Tuning Price Over Satellite Digital Multimedia Broadcast System.	IEEE Trans. Broadcast.	2007	DBLP DOI BibTeX RDF
20	Brian L. Luke, Phillip E. Pace	RSNS-to-Binary Conversion.	IEEE Trans. Circuits Syst. I Regul. Pap.	2007	DBLP DOI BibTeX RDF
20	Pasquale Pace, Gianluca Aloi	Effective Routing Algorithm for Multilayered Terrestrial-HAP-Satellite Networks.	IEEE Commun. Lett.	2007	DBLP DOI BibTeX RDF
20	Rosario M. Piro, Michele Pace, Antonia Ghiselli, Andrea Guarise, Eleonora Luppi, Giuseppe Patania, Luca Tomassetti, Albert Werbrouck	Tracing Resource Usage over Heterogeneous Grid Platforms: A Prototype RUS Interface for DGAS.	eScience	2007	DBLP DOI BibTeX RDF
20	Pasquale Pace, Gianluca Aloi	Multilayered Architecture Supporting Efficient Inter HAP-Satellite Routing.	VTC Spring	2007	DBLP DOI BibTeX RDF
20	Vehbi Cagri Gungor, Pasquale Pace, Enrico Natalizio	AR-TP: An Adaptive and Responsive Transport Protocol for Wireless Mesh Networks.	ICC	2007	DBLP DOI BibTeX RDF
20	J. Andrés Díaz Pace, Marcelo R. Campo	Using Planning Techniques to Assist Quality-Driven Architectural Design Exploration.	QoSA	2007	DBLP DOI BibTeX RDF	quality-driven mechanisms, tool support, software architecture design, artificial intelligence techniques
20	Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider	Model Checking Contracts - A Case Study.	ATVA	2007	DBLP DOI BibTeX RDF
20	Jeffrey Bardzell, Markus Jakobsson, Shaowen Bardzell, Tyler Pace, Will Odom, Aaron R. Houssian	Virtual Worlds and Fraud: Approaching Cybersecurity in Massively Multiplayer Online Games.	DiGRA Conference	2007	DBLP BibTeX RDF
20	Pasquale Pace, Zhili Sun	Price Discount over Satellite Digital Multimedia Broadcast System Through a Demand Sensitive Model.	WCNC	2007	DBLP DOI BibTeX RDF
20	Tyler Pace, Shruti Ramalingam, David Roedl	Celerometer and idling reminder: persuasive technology for school bus eco-driving.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	automobile cockpit design, automobile interfaces, designing for eco-driving, persuasive technology, captology, mission-critical systems
20	Manlio Gaudioso, Walaa Khalaf, Calogero Pace	On the Use of the SVM Approach in Analyzing an Electronic Nose.	HIS	2007	DBLP DOI BibTeX RDF
20	Dan R. Olsen Jr., Jeffrey Clement, Aaron Pace	Spilling: Expanding Hand held Interaction to Touch Table Displays.	Tabletop	2007	DBLP DOI BibTeX RDF
20	Spiros Alexakis, Markus Bauer 0002, Albina Pace, Alexa Schumacher, Andreas Friesen, Athanasios Bouras, Dimitrios Kourtesis	Application Of The Fusion Approach For Assisted Composition Of Web Services.	Virtual Enterprises and Collaborative Networks	2007	DBLP DOI BibTeX RDF
20	Gennaro Nicola Bifulco, Fulvio Simonelli, Roberta Di Pace	Endogenous Driver Compliance and Network Performances under ATIS.	ITSC	2007	DBLP DOI BibTeX RDF
20	Matthew E. Taylor, Cynthia Matuszek, Pace Reagan Smith, Michael Witbrock	Guiding Inference with Policy Search Reinforcement Learning.	FLAIRS	2007	DBLP BibTeX RDF
20	Carmine Ciofi, Felice Crupi, Calogero Pace, Graziella Scandurra	How to enlarge the bandwidth without increasing the noise in OP-AMP-based transimpedance amplifier.	IEEE Trans. Instrum. Meas.	2006	DBLP DOI BibTeX RDF
20	Felice Crupi, Gino Giusi, Carmine Ciofi, Calogero Pace	Enhanced sensitivity cross-correlation method for voltage noise measurements.	IEEE Trans. Instrum. Meas.	2006	DBLP DOI BibTeX RDF
20	Eric R. Zilberman, Phillip E. Pace	Autonomous Time-Frequency Morphological Feature Extraction Algorithm for LPI Radar Modulation Classification.	ICIP	2006	DBLP DOI BibTeX RDF
20	Gordon J. Pace, Gerardo Schneider	A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.	ICTAC	2006	DBLP DOI BibTeX RDF
20	Brian L. Luke, Phillip E. Pace	N-Sequence RSNS Redundancy Analysis.	ISIT	2006	DBLP DOI BibTeX RDF
20	Birgit Schoeberl, Emily Pace, Shavonne Howard, Viara Garantcharova, Art Kudla, Peter K. Sorger, Ulrik B. Nielsen	A Data-Driven Computational Model of the ErbB Receptor Signaling Network.	EMBC	2006	DBLP DOI BibTeX RDF
20	Felice Iavernaro, Brigida Pace	State Dependent Symplecticity of Symmetric Methods.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF	Hamiltonian and Poisson systems, symmetric methods, symplecticity
20	Sean M. Hurley, Murali Tummala, Thaddeus Owens Walker III, Phillip E. Pace	Impact of synchronization on signal-to-noise ratio in a distributed radar system.	SoSE	2006	DBLP DOI BibTeX RDF
20	Harsha Tummala, Mikhail Auguston, James Bret Michael, Man-tak Shing, David Little, Zachary Pace	Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems.	SoSE	2006	DBLP DOI BibTeX RDF
20	Gordon J. Pace, Gerardo Schneider	Static Analysis for State-Space Reduction of Polygonal Hybrid Systems.	FORMATS	2006	DBLP DOI BibTeX RDF
20	Pasquale Pace	Connection admission control and routing issues over multilayered satellite-hap networks supporting DVB-RCS.		2006	RDF
20	Antonio Iera, Antonella Molinaro, Pasquale Pace, Salvatore Marano	Dimensioning and effective handling of signalling channels in a multimedia GEO Satellite platform.	IEEE Trans. Veh. Technol.	2005	DBLP DOI BibTeX RDF
20	Marcelo R. Campo, J. Andrés Díaz Pace, Federico Trilnik	"Computer, please, tell me what I have to do...": an approach to agent-aided application composition.	J. Syst. Softw.	2005	DBLP DOI BibTeX RDF
20	J. Andrés Díaz Pace, Marcelo R. Campo	ArchMatE: from architectural styles to object-oriented models through exploratory tool support.	OOPSLA	2005	DBLP DOI BibTeX RDF	frameworks, tool support, architectural styles, quality attributes
20	Conrad Pace, Derek W. Seward	A Model for Autonomous Safety Management in a Mobile Robot.	CIMCA/IAWTIC	2005	DBLP DOI BibTeX RDF
20	Ahmet Tarik Aydin, Phillip E. Pace, Murali Tummala	Orbit selection for space based interception of a select ICBM case.	SMC	2005	DBLP DOI BibTeX RDF
20	Kursad Yildiz, Phillip E. Pace, Murali Tummala	Electronic attack against boost-phase ICBM defense system.	SMC	2005	DBLP DOI BibTeX RDF
20	Pasquale Pace, Salvatore Marano, Zhili Sun, Barry G. Evans	Cost model for evaluation of SDMB service over integrated satellite-terrestrial UMTS networks.	ISWCS	2005	DBLP DOI BibTeX RDF
20	R. Kelley Pace, James Paul LeSage	Chebyshev approximation of log-determinants of spatial weight matrices.	Comput. Stat. Data Anal.	2004	DBLP DOI BibTeX RDF
20	Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond	Counter-example generation in symbolic abstract model-checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Concrete counterexample, Model-checking, Abstraction, Test pattern generation
20	Steven Pace	A grounded theory of the flow experiences of Web users.	Int. J. Hum. Comput. Stud.	2004	DBLP DOI BibTeX RDF
20	Pasquale Pace, Gianluca Aloi, Salvatore Marano	Performance analysis of connection admission control scheme in a DVB-RCS satellite system.	PIMRC	2004	DBLP DOI BibTeX RDF
20	Giovanni Cantone, Davide Pace, Giuseppe Calavaro	Applying Function Point to Unified Modeling Language: Conversion Model and Pilot Study.	IEEE METRICS	2004	DBLP DOI BibTeX RDF
20	Gill A. Pratt, Pace Willisson, Clive Bolton, Andreas Hofman	Late motor processing in low-impedance robots: impedance control of series-elastic actuators.	ACC	2004	DBLP DOI BibTeX RDF
20	J. Andrés Díaz Pace, Alejandra C. Diez, Marcelo R. Campo	Exploring Quality-driven Object-oriented Materializations for Software Architectures.	SBES	2004	DBLP DOI BibTeX RDF
20	Pasquale Pace, Gianluca Aloi, Salvatore Marano	Efficient real-time multimedia connections handling over DVB-RCS satellite system.	GLOBECOM	2004	DBLP DOI BibTeX RDF
20	Luigi Mazzucchelli, Matteo Pace	Extensible interfaces for mobile devices in an advanced platform for infomobility services.	AVI	2004	DBLP DOI BibTeX RDF	extensible user interfaces, integrated models for process driven Architectures, mobile devices, XUL
20	James Paul LeSage, R. Kelley Pace	Arc Mat, a Toolbox for Using ArcView Shape Files for Spatial Econometrics and Statistics..	GIScience	2004	DBLP DOI BibTeX RDF
20	Baris M. Kazar, Shashi Shekhar, David J. Lilja, Ranga Raju Vatsavai, R. Kelley Pace	Comparing Exact and Approximate Spatial Auto-regression Model Solutions for Spatial Data Analysis.	GIScience	2004	DBLP DOI BibTeX RDF
20	Alan Belasco, Jon Curtis, Robert C. Kahlert, Charles Klein, Corinne Mayans, Pace Reagan	Representing Knowledge Gaps Effectively.	PAKM	2004	DBLP DOI BibTeX RDF
20	Gordon J. Pace, Gerardo Schneider	Model Checking Polygonal Differential Inclusions Using Invariance Kernels.	VMCAI	2004	DBLP DOI BibTeX RDF
20	Carmine Ciofi, Felice Crupi, Calogero Pace, Graziella Scandurra	Micro-prober for wafer-level low-noise measurements in MOS devices.	IEEE Trans. Instrum. Meas.	2003	DBLP DOI BibTeX RDF
20	Calogero Pace, Carmine Ciofi, Felice Crupi	Very low-noise, high-accuracy programmable voltage reference.	IEEE Trans. Instrum. Meas.	2003	DBLP DOI BibTeX RDF
20	Wilson D. Pace, Elizabeth W. Staton, Gregory S. Higgins, Deborah S. Main, David R. West, Daniel M. Harris	Application of Information Technology: Database Design to Ensure Anonymous Study of Medical Errors: A Report from the ASIPS collaborative.	J. Am. Medical Informatics Assoc.	2003	DBLP DOI BibTeX RDF
20	Pasquale Pace, Antonella Molinaro, Salvatore Marano, Antonio Iera	Random access techniques for GEO satellite personal communication networks.	PIMRC	2003	DBLP DOI BibTeX RDF
20	Gordon J. Pace, Frédéric Lang, Radu Mateescu 0001	Calculating-Confluence Compositionally.	CAV	2003	DBLP DOI BibTeX RDF
20	Antonio Iera, Antonella Molinaro, Pasquale Pace, Salvatore Marano	Multimedia traffic in broadband satellite networks.	ICC	2003	DBLP DOI BibTeX RDF
20	J. Andrés Díaz Pace, Marcelo R. Campo, Álvaro Soria	Architecting the Design of Multi-agent Organizations with Proto-frameworks.	SELMAS	2003	DBLP DOI BibTeX RDF
20	Douglas J. Fouts, Phillip E. Pace, Christopher Karow, Stig R. T. Ekestorm	A single-chip false target radar image generator for countering wideband imaging radars.	IEEE J. Solid State Circuits	2002	DBLP DOI BibTeX RDF
20	Koen Claessen, Gordon J. Pace	An embedded language approach to teaching hardware compilation.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF
20	Jane Pryor, J. Andrés Díaz Pace, Marcelo R. Campo	Reflecting on Separation of Concerns.	RITA	2002	DBLP BibTeX RDF
20	Carmine Ciofi, Felice Crupi, Calogero Pace	A new method for high-sensitivity noise measurements.	IEEE Trans. Instrum. Meas.	2002	DBLP DOI BibTeX RDF
20	Graziella Scandurra, Carmine Ciofi, Calogero Pace, F. Speroni, F. Alagi	True constant temperature MTF test system for the characterization of electromigration of thick Cu interconnection lines.	Microelectron. Reliab.	2002	DBLP DOI BibTeX RDF
20	Khalid A. Al-Kofahi, Sharie Lasek, Donald H. Szarowski, Christopher J. Pace, George Nagy, James N. Turner, Badrinath Roysam	Rapid automated three-dimensional tracing of neurons from confocal image stacks.	IEEE Trans. Inf. Technol. Biomed.	2002	DBLP DOI BibTeX RDF
20	Marcelo R. Campo, J. Andrés Díaz Pace, Mario Zito	Developing object-oriented enterprise quality frameworks using proto-frameworks.	Softw. Pract. Exp.	2002	DBLP DOI BibTeX RDF
20	Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine	SPeeDI - A Verification Tool for Polygonal Hybrid Systems.	CAV	2002	DBLP DOI BibTeX RDF
20	Giuseppe A. Di Lucca, Anna Rita Fasolino, F. Pace, Porfirio Tramontana, Ugo de Carlini	WARE: A Tool for the Reverse Engineering of Web Applications.	CSMR	2002	DBLP DOI BibTeX RDF	UML, Reverse Engineering, Web applications, Web Engineering
20	D. B. Copeland, Phillip E. Pace	Detection and analysis of FMCW and P-4 polyphase LPI waveforms using quadrature mirror filter trees.	ICASSP	2002	DBLP DOI BibTeX RDF
20	P. R. Milne, Phillip E. Pace	Wigner distribution detection and analysis of FMCW and P-4 polyphase LPI waveforms.	ICASSP	2002	DBLP DOI BibTeX RDF
20	Giuseppe A. Di Lucca, Anna Rita Fasolino, F. Pace, Porfirio Tramontana, Ugo de Carlini	Comprehending Web Applications by a Clustering Based Approach.	IWPC	2002	DBLP DOI BibTeX RDF	Clustering, Reverse Engineering, Web application, Web Engineering, Coupling, Comprehension
20	J. Andrés Díaz Pace, Federico Trilnik, Marcelo R. Campo	Assisting the Development of Aspect-Based Multi-agent Systems Using the Smartweaver Approach.	SELMAS	2002	DBLP DOI BibTeX RDF
20	Antonio Iera, Antonella Molinaro, Gianluca Aloi, Pasquale Pace, Salvatore Marano	On the performance of CAC algorithms in multimedia geostationary satellite networks.	WCNC	2002	DBLP DOI BibTeX RDF
20	J. Andrés Díaz Pace, Marcelo R. Campo	An object-oriented bridge among architectural styles, aspects and frameworks.	ICSE	2002	DBLP DOI BibTeX RDF
20	Federico Trilnik, J. Andrés Díaz Pace, Marcelo R. Campo	Smartweaver: an agent-based approach for aspect-oriented development.	ICSE	2002	DBLP DOI BibTeX RDF
20	James R. Flanagan, Michael Peterson, Charles Dayton, Lori Strommer Pace, Andrew Plank, Kristy Walker, William S. Carlson	Email recruitment to use web decision support tools for pneumonia.	AMIA	2002	DBLP BibTeX RDF
20	J. Andrés Díaz Pace, Federico Trilnik, Marcelo R. Campo	Applying Proto-Frameworks in the Development of Multi-Agent Systems.	Inteligencia Artif.	2001	DBLP BibTeX RDF
20	Tobin J. Lehman, Alex Cozzi, Yuhong Xiong, Jonathan Gottschalk, Venu Vasudevan, Sean Landis, Pace Davis, Bruce Khavar, Paul Bowman	Hitting the distributed computing sweet spot with TSpaces.	Comput. Networks	2001	DBLP DOI BibTeX RDF
20	J. Andrés Díaz Pace, Marcelo R. Campo	Analyzing the role of aspects in software design.	Commun. ACM	2001	DBLP DOI BibTeX RDF
20	J. Andrés Díaz Pace, Mohamed Fayad, Federico Trilnik, Marcelo R. Campo	Accomplishing Adaptability in Simulation Frameworks: the Bubble Approach.	COMPSAC	2001	DBLP DOI BibTeX RDF	object-oriented framework development, simulation, multi-agent systems, adaptability
20	Symeon Papavassiliou, Mike Pace	From service configuration through performance monitoring to fault detection: implementing an integrated and automated network maintenance platform for enhancing wide area transaction access services.	Int. J. Netw. Manag.	2000	DBLP DOI BibTeX RDF
20	Derek W. Seward, Conrad Pace, Richard Morrey, Ian Sommerville	Safety analysis of autonomous excavator functionality.	Reliab. Eng. Syst. Saf.	2000	DBLP DOI BibTeX RDF
20	Anoop Ghanwani, Wayne Pace, Vijay Srinivasan, Andrew Smith, Mick Seaman	A Framework for Integrated Services Over Shared and Switched IEEE 802 LAN Technologies.	RFC	2000	DBLP DOI BibTeX RDF
20	Alessandro Pace, Luca Valentini	System level performance evaluation of UTRA-FDD (UMTS terrestrial radio access-frequency division duplex).	PIMRC	2000	DBLP DOI BibTeX RDF
20	Symeon Papavassiliou, Mike Pace, Anthony G. Zawadzki	Proactive maintenance tools for transaction oriented wide area networks.	NOMS	2000	DBLP DOI BibTeX RDF
20	Symeon Papavassiliou, Mike Pace, Anthony G. Zawadzki, L. Lawrence Ho	Implementing Enhanced Network Maintenance for Transaction Access Services: Tools and Applications.	ICC (1)	2000	DBLP DOI BibTeX RDF
20	Davide Anguita, Andrea Boni, Stefano Pace	Fast Training of Support Vector Machines for Regression.	IJCNN (5)	2000	DBLP DOI BibTeX RDF
20	Gordon J. Pace	The Semantics of Verilog Using Transition System Combinators.	FMCAD	2000	DBLP DOI BibTeX RDF
20	Aldo Brucale, Fabio Cesari, Michele d'Amico, Massimo Ferri, Patrizio Frosini, Luciano Gualandri, Monica Guerra, Alberto Lovato, Ilaria Pace	Image Retrieval through Abstract Shape Indication.	MVA	2000	DBLP BibTeX RDF
20	Gan Wang, Xiaoxin Xu, Betty Pace, David A. Dean, Peter M. Glazer, Phillip Chan, Steven R. Goodman, Inna Shokolenko	Peptide nucleic acid (PNA) binding-mediated induction of human gamma- globin gene expression.	Nucleic Acids Res.	1999	DBLP DOI BibTeX RDF
20	Gian Piero Zarri, Elisa Bertino, Bill Black, Andrew Brasher, Barbara Catania, Diana Deavin, Luigi Di Pace, Floriana Esposito, Pietro Leo, John McNaught, Andreas Persidis, Fabio Rinaldi 0001, Giovanni Semeraro	CONCERTO, An Environment for the 'Intelligent' Indexing, Querying and Retrieval of Digital Documents.	ISMIS	1999	DBLP DOI BibTeX RDF
20	Stefano Pace	Fast Localization of Mechanical Components Using Hough Transform.	ICIAP	1999	DBLP DOI BibTeX RDF
20	Elisa Bertino, Bill Black, Andrew Brasher, Vito Candela, Barbara Catania, Diana Deavin, Luigi Di Pace, Floriana Esposito, Pietro Leo, John McNaught, Andreas Persidis, Fabio Rinaldi 0001, Giovanni Semeraro, Gian Piero Zarri	CONCERTO, Conceptual Indexing, Querying and Retrieval of Digital Documents.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Digital libraries, Content-based indexing/retrieval, Browsing and visualization
20	Floriana Esposito, Donato Malerba, Luigi Di Pace, Pietro Leo	A Machine Learning Approach to Web Mining.	AI*IA	1999	DBLP DOI BibTeX RDF
20	Gordon G. Pace	Hardware design based on Verilog HDL.		1998	RDF