Search results for "FRank"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	David W. Bernard, Frank A. Digilio, Frank V. Thiemann, Ronald F. Borelli	A serial reader-punch with novel concepts.	AFIPS Spring Joint Computing Conference	1966	DBLP DOI BibTeX RDF
14	Matthias Schwamborn, Nils Aschenbruck, Peter Martini	A realistic trace-based mobility model for first responder scenarios.	MSWiM	2010	DBLP DOI BibTeX RDF
14	Joseph T. Meyerowitz, Romit Roy Choudhury	Poster Abstract: CacheCloak: enabling realtime location privacy for mobile users.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2009	DBLP DOI BibTeX RDF
14	Andrzej K. Brodzik, Richard Tolimieri	Bat Chirps With Good Properties: Zak Space Construction of Perfect Polyphase Sequences.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
14	Petre Stoica, Hao He 0001, Jian Li 0001	New Algorithms for Designing Unimodular Sequences With Good Correlation Properties.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
14	Giovanni Sartor	Legal concepts as inferential nodes and ontological categories.	Artif. Intell. Law	2009	DBLP DOI BibTeX RDF	Legal concepts, Ontology, Inference
14	Xue-wen Chen 0001, Haixun Wang, Xiaotong Lin 0001	Learning to rank with a novel kernel perceptron method.	CIKM	2009	DBLP DOI BibTeX RDF	web search, learning to rank, perceptron
14	Feng Li	Second Derivative Approximation for Origin-Based Algorithm.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Traffic Assignment, Origin-based Algorithm, Second Derivative, User Equilibrium
14	Aman Kansal, Feng Zhao 0001	Fine-grained energy profiling for power-aware application design.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF
14	Trilce Estrada, Olac Fuentes, Michela Taufer	A distributed evolutionary method to design scheduling policies for volunteer computing.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF
14	Geovani Ricardo Wiedenhoft, Lucas Francisco Wanner, Giovani Gracioli, Antônio Augusto Fröhlich	Power management in the EPOS system.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
14	Shi-Kuo Chang	Virtual Spaces: From the Past to the Future.	VISUAL	2008	DBLP DOI BibTeX RDF
14	Tim Menzies, Alex Dekhtyar, Justin S. Di Stefano, Jeremy Greenwald	Problems with Precision: A Response to "Comments on 'Data Mining Static Code Attributes to Learn Defect Predictors'".	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF
14	Toshinori Munakata	A Personal View on AI, Rough Set Theory and Professor Pawlak.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF
14	Dimitri P. Bertsekas, Paul Tseng	Set Intersection Theorems and Existence of Optimal Solutions.	Math. Program.	2007	DBLP DOI BibTeX RDF	Mathematical subject classification (1991) 49J99, 90C30, 90C25, 90C26
14	DeLiang Wang	Computational Scene Analysis.	Challenges for Computational Intelligence	2007	DBLP DOI BibTeX RDF
14	Margaret Procter	Instructional Technology and Faculty Development: How iWRITE Challenges Course Design and Teaching Methods.	HCI (7)	2007	DBLP DOI BibTeX RDF	writing in the disciplines, faculty development, instructional technology
14	Quinn Stewart, Grete Pasch, Rodrigo Arias	From kinescope to rich media: 50 years (ago) with Mike Wallace.	JCDL	2007	DBLP DOI BibTeX RDF	Mike Wallace, digital video collections, indexed video, library interface, XML, streaming video, rich media
14	Dong Jun, Lin Rui, He Yi-min	Software Processes Improvement and Specifications for Embedded Systems.	SERA	2007	DBLP DOI BibTeX RDF
14	Ryan J. Baxter, Nicholas Berente	Embedding New IT Artifacts into Design Practice for Knowledge Creation.	HICSS	2007	DBLP DOI BibTeX RDF
14	Adriano Baratè	Interacting at the Symbolic and Structural Levels.	SAMT	2007	DBLP DOI BibTeX RDF	MX, IEEE P1599, Petri Nets, Music
14	Joseph Cheriyan, Santosh S. Vempala, Adrian Vetta	Network Design Via Iterative Rounding Of Setpair Relaxations.	Comb.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 68W25, 90C27, 68R10, 90C35, 05C40, 90B10
14	Grant Martin	The First Transaction, but not the Last.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	SystemC, transaction-level modeling, ESL, TLM
14	Dag I. K. Sjøberg	Documenting Theories Working Group Results.	Empirical Software Engineering Issues	2006	DBLP DOI BibTeX RDF
14	Harold N. Gabow	Upper degree-constrained partial orientations.	SODA	2006	DBLP DOI BibTeX RDF
14	Guy Kortsarz, Zeev Nutov	Tight Approximation Algorithm for Connectivity Augmentation Problems.	ICALP (1)	2006	DBLP DOI BibTeX RDF
14	Fuhao Zou, Zhengding Lu, Hefei Ling, Yanwei Yu	Real-time video watermarking based on extended m-sequences.	ICME	2006	DBLP DOI BibTeX RDF
14	Alex Leng Phuan Tay	Biologically Inspired KFLANN Place Fields for Robot Localization.	IJCNN	2006	DBLP DOI BibTeX RDF
14	Felix G. König	Traffic Optimization Under Route Constraints with Lagrangian Relaxation and Cutting Plane Methods.	OR	2006	DBLP DOI BibTeX RDF
14	Raúl Rojas 0001	Reviews.	IEEE Ann. Hist. Comput.	2005	DBLP DOI BibTeX RDF	IBM iSeries, Power4, e-business trends, Galileo's military instrument, copyright legal battles and Whelan Associates, artificial intelligence, software integration, PowerPC, IT industry, policy making
14	Dan Butnariu, Erich-Peter Klement, Radko Mesiar, Mirko Navara	Sufficient triangular norms in many-valued logics with standard negation.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Sufficient t-norm, Involutive negation, Admissible function, t-norm-based tribe, Many-valued logic
14	Zeev Nutov	Approximating connectivity augmentation problems.	SODA	2005	DBLP BibTeX RDF
14	Matthew Johnson 0003	Implementing a Multi-hat PDA.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
14	Stefan Wölfl 0001, Till Mossakowski	Casl Specifications of Qualitative Calculi.	COSIT	2005	DBLP DOI BibTeX RDF
14	Thomas Haigh	Biographies.	IEEE Ann. Hist. Comput.	2004	DBLP DOI BibTeX RDF
14	Birgitta Lindström, Mats Grindal, A. Jefferson Offutt	Using an existing suite of test objects: experience from a testing experiment.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	fault seeding, software testing, independence, representativity
14	Erik Agrell, Johan Lassing, Erik G. Ström, Tony Ottosson	On the optimality of the binary reflected Gray code.	IEEE Trans. Inf. Theory	2004	DBLP DOI BibTeX RDF
14	William A. Arbaugh	Guest Editor's Introduction: Wired on Wireless.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF	security, privacy, wireless LAN, wireless, technology, IEEE 802.16, ad hoc routing, smart
14	Laurianne McLaughlin, Benjamin Alfonsi	In the News.	IEEE Softw.	2004	DBLP DOI BibTeX RDF
14	Philippe Kruchten	Putting the "Engineering" into "Software Engineering".	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
14	Alfred Kobsa, Jörg Schreck	Privacy through pseudonymity in user-adaptive systems.	ACM Trans. Internet Techn.	2003	DBLP DOI BibTeX RDF	Chaum mix, security, privacy, access control, personalization, User modeling, anonymity, encryption, reference model, pseudonymity, secrecy, personal information, KQML, user-adaptive systems
14	Daniel Belcher, Mark Billinghurst, Sean Hayes, Randy Stiles	Using Augmented Reality for Visualizing Complex Graphs in Three Dimensions.	ISMAR	2003	DBLP DOI BibTeX RDF
14	Kumaraswamy Ponnambalam, Abbas Seifi, Jirí Vlach	Yield optimization with correlated design parameters and non-symmetrical marginal distributions.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
14	E. James Whitehead Jr., Paul De Bra, Kaj Grønbæk, Deena Larsen, John J. Leggett, Monica M. C. Schraefel	Seven Issues, Revisited.	Hypertext	2002	DBLP DOI BibTeX RDF
14	Tamás Fleiner	Note - Uncrossing a Family of Set-Pairs.	Comb.	2001	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C85, 05A05
14	Richard Furuta	Halasz's "seven issues" in context.	ACM J. Comput. Documentation	2001	DBLP DOI BibTeX RDF	World-Wide Web, World Wide Web (WWW), user interface design, hypertext/hypermedia
14	Kate Dobroth	From NoteCards to the web: the role of Halasz's seven issues.	ACM J. Comput. Documentation	2001	DBLP DOI BibTeX RDF	World-Wide Web, World Wide Web (WWW), usability, user interface design, hypermedia
14	Catherine C. Marshall	NoteCards in the age of the web: practice meets perfect.	ACM J. Comput. Documentation	2001	DBLP DOI BibTeX RDF	World-Wide Web, World Wide Web (WWW), user interface design, retrieval, formality, reading, use, hypertext/hypermedia
14	András Sebö, Eric Tannier	Connected Joins in Graphs.	IPCO	2001	DBLP DOI BibTeX RDF
14	Anna R. Karlin	Spectral Analysis for Data Mining.	ALENEX	2001	DBLP DOI BibTeX RDF
14		Posters and Demos.	Hypertext	2001	DBLP DOI BibTeX RDF
14	Peggy Aldrich Kidwell	The Adding Machine Fraternity at St. Louis: Creating a Center of Invention, 1880-1920.	IEEE Ann. Hist. Comput.	2000	DBLP DOI BibTeX RDF
14	Delano M. Beder, Alexander B. Romanovsky, Brian Randell, C. Richard Snow, Robert J. Stroud	An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling.	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
14	John A. Trono	Comments on "Tagged Semaphores".	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
14	George Danezis	An Anonymous Auction Protocol Using "Money Escrow" (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
14	Fabio A. Arciniegas, Mark J. Embrechts	Phoneme Recognition with Staged Neural Networks.	IJCNN (5)	2000	DBLP DOI BibTeX RDF
14	Vardges Melkonian, Éva Tardos	Approximation Algorithms for a Directed Network Design Problem.	IPCO	1999	DBLP DOI BibTeX RDF
14	Randal E. Bryant, Gerry Musgrave	User Experience with High Level Formal Verification (Panel).	DAC	1998	DBLP DOI BibTeX RDF
14	W. H. Cheung, Anthony H. S. Loong	Exploring Issues of Operating Systems Structuring: from Microkernel to Extensible Systems.	ACM SIGOPS Oper. Syst. Rev.	1995	DBLP DOI BibTeX RDF
14	Jean-Luc Dekeyser, Dominique Lazure, Philippe Marquet	A Geometrical Data-Parallel Language.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
14	Carlos Baquero, Francisco Moura	Concurrency Annotations in C++.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	C++
14	Georges Winkenbach, David Salesin	Computer-generated pen-and-ink illustration.	SIGGRAPH	1994	DBLP DOI BibTeX RDF	architectural rendering, comprehensible rendering, prioritized stroke textures, resolution-dependent rendering, texture indication, non-photorealistic rendering
14	Carlos Almeida, Bradford B. Glade, Keith Marzullo	High Availability in a Real-Time System.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF
14	David Bellin, Paul Davis, George Eggert, Donald Gotterbarn, Eric Roberts	The Licensing of Computer Professionals (abstract).	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	ACM
14	Patrick Solé	Covering Codes and Combinatorial Optimization.	AAECC	1991	DBLP DOI BibTeX RDF
14	George H. Roberts	From Recursive Ascent to Recursive Descent: Via Compiler Optimizations.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
14	Tai-Kuo Woo	A Note on Lamport's Mutual Exclusion Algorithm.	ACM SIGOPS Oper. Syst. Rev.	1990	DBLP DOI BibTeX RDF
14	Fred Ives	Response on Remarks on Recent Algorithms for LALR Lookahead Sets.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
14	Keith A. Lantz, Judy L. Edighoffer, Bruce L. Hitson	Towards a Universal Directory Service.	ACM SIGOPS Oper. Syst. Rev.	1986	DBLP DOI BibTeX RDF
14	Nelson L. Max	Atmospheric illumination and shadows.	SIGGRAPH	1986	DBLP DOI BibTeX RDF
14	Roger Segelken	A Case History of a Computer Media Event - Introducing a Supercomputer Center.	SIGDOC	1985	DBLP DOI BibTeX RDF
8	Manuel Mueller-Frank	As strong as the weakest node: The impact of misinformation in social networks.	J. Econ. Theory	2024	DBLP DOI BibTeX RDF
8	Frank Kulwa, Haoshi Zhang, Oluwarotimi Williams Samuel, Mojisola Grace Asogbon, Erik J. Scheme, Rami N. Khushaba, Alistair A. McEwan, Guanglin Li 0001	A Multidataset Characterization of Window-Based Hyperparameters for Deep CNN-Driven sEMG Pattern Recognition.	IEEE Trans. Hum. Mach. Syst.	2024	DBLP DOI BibTeX RDF
8	Frank Piedra-Jimenez, Ana Inés Torres, María Analía Rodríguez	A robust disjunctive formulation for the redesign of forest biomass-based fuels supply chain under multiple factors of uncertainty.	Comput. Chem. Eng.	2024	DBLP DOI BibTeX RDF
8	Dominik Püllen, Florian Frank 0004, Marion Christl, Wuhao Liu, Stefan Katzenbeisser 0001	A Security Process for the Automotive Service-Oriented Software Architecture.	IEEE Trans. Veh. Technol.	2024	DBLP DOI BibTeX RDF
8	Justin Frank, Benjamin Quiring, Leonidas Lampropoulos	Generating Well-Typed Terms That Are Not "Useless".	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
8	Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das	Parametric Subtyping for Structural Parametric Polymorphism.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
8	Adam T. Geller, Justin Frank, William J. Bowman	Indexed Types for a Statically Safe WebAssembly.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
8	Changmin Shin, Taehee Kwon, Jaeyong Song, Jae Hyung Ju, Frank Liu 0001, YeonKyu Choi, Jinho Lee	A Case for In-Memory Random Scatter-Gather for Fast Graph Processing.	IEEE Comput. Archit. Lett.	2024	DBLP DOI BibTeX RDF
8	Wolfgang Noichl, Fabio De Marco, Konstantin Willer, Theresa Urban, Manuela Frank, Rafael Schick, Bernhard Gleich, Lorenz Hehn, Alex Gustschin, Pascal Meyer, Thomas Köhler 0003, Ingo Maack, Klaus-Jürgen Engel, Bernd Lundt, Bernhard Renger, Alexander Fingerle, Daniela Pfeiffer, Ernst J. Rummeny, Julia Herzen, Franz Pfeiffer	Correction for Mechanical Inaccuracies in a Scanning Talbot-Lau Interferometer.	IEEE Trans. Medical Imaging	2024	DBLP DOI BibTeX RDF
8	Vasile Ciorna, Guy Melançon, Frank Petry, Mohammad Ghoniem	Interact: A visual what-if analysis tool for virtual product design.	Inf. Vis.	2024	DBLP DOI BibTeX RDF
8	Sarah Nawoya, Frank Ssemakula, Roseline Akol, Quentin Geissmann, Henrik Karstoft, Kim Bjerge, Cosmas Mwikirize, Andrew Katumba, Grum Gebreyesus	Computer vision and deep learning in insects for food and feed production: A review.	Comput. Electron. Agric.	2024	DBLP DOI BibTeX RDF
8	Yingjie Fan 0002, Frank Schwartz, Stefan Voß 0001, David L. Woodruff	Catastrophe insurance and flexible planning for supply chain disruption management: a stochastic simulation case study.	Int. J. Prod. Res.	2024	DBLP DOI BibTeX RDF
8	Mohammad Shahin, F. Frank Chen, Ali Hosseinzadeh, Hamed Bouzary, Awni Shahin	Waste reduction via image classification algorithms: beyond the human eye with an AI-based vision.	Int. J. Prod. Res.	2024	DBLP DOI BibTeX RDF
8	Jenny Ottmann, Frank Breitinger, Felix C. Freiling	An Experimental Assessment of Inconsistencies in Memory Forensics.	ACM Trans. Priv. Secur.	2024	DBLP DOI BibTeX RDF
8	Ben Roullier, Frank McQuade, Ashiq Anjum, Craig Bower, Lu Liu 0001	Automated visual quality assessment for virtual and augmented reality based digital twins.	J. Cloud Comput.	2024	DBLP DOI BibTeX RDF
8	Tao Li, Yan Wan 0001, Mushuang Liu, Songwei Li, Murilo Augusto Pinheiro, Chenyuan He, Frank L. Lewis	Estimation of Random Mobility Models with Application to Unmanned Aerial Vehicles.	Unmanned Syst.	2024	DBLP DOI BibTeX RDF
8	Frank de Meijer, Renata Sotirov	On Integrality in Semidefinite Programming for Discrete Optimization.	SIAM J. Optim.	2024	DBLP DOI BibTeX RDF
8	Laura Obrecht, Frank-Michael Göttsche, Johannes Antenor Senn, Jan Cermak	Mapping Changes in Fractional Vegetation Cover on the Namib Gravel Plains with Satellite-Retrieved Land Surface Emissivity Data.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
8	Max Beinke, Jan Heinrich Beinke, Eduard Anton, Frank Teuteberg	Breaking the chains of traditional finance: A taxonomy of decentralized finance business models.	Electron. Mark.	2024	DBLP DOI BibTeX RDF
8	André Nies, Frank Stephan 0001	Word automatic groups of nilpotency class 2.	Inf. Process. Lett.	2024	DBLP DOI BibTeX RDF
8	Frank Nielsen, Kazuki Okamura	On the f-divergences between densities of a multivariate location or scale family.	Stat. Comput.	2024	DBLP DOI BibTeX RDF
8	Frank Rotiroti, Stephen G. Walker	Reversed particle filtering for hidden markov models.	Stat. Comput.	2024	DBLP DOI BibTeX RDF
8	Gunnar Auth, Frank Bensberg, Julian Christ	Digitale Kompetenzanforderungen in der öffentlichen Verwaltung nach der COVID-19-Pandemie.	HMD Prax. Wirtsch.	2024	DBLP DOI BibTeX RDF
8	Andreas Jede, Frank Bensberg, Tabea Klein	Blockchain-Technologie im Supply Chain Management - Anwendungspotenziale und Kompetenzlücken.	HMD Prax. Wirtsch.	2024	DBLP DOI BibTeX RDF
8	Syed Danial Ali Shah, Mark A. Gregory, Faycal Bouhafs, Frank T. H. den Hartog	Artificial Intelligence-Defined Wireless Networking for Computational Offloading and Resource Allocation in Edge Computing Networks.	IEEE Open J. Commun. Soc.	2024	DBLP DOI BibTeX RDF
8	Mingcan Cen, Frank Jiang 0001, Xingsheng Qin, Qinghong Jiang, Robin Doss	Ransomware early detection: A survey.	Comput. Networks	2024	DBLP DOI BibTeX RDF
8	Chun-Ming Tsai, Frank Y. Shih	A Novel Multi-Data-Augmentation and Multi-Deep-Learning Framework for Counting Small Vehicles and Crowds.	Int. J. Pattern Recognit. Artif. Intell.	2024	DBLP DOI BibTeX RDF
8	Mohammadreza Amirian, Daniel Barco, Ivo Herzig, Frank-Peter Schilling	Artifact Reduction in 3D and 4D Cone-Beam Computed Tomography Images With Deep Learning: A Review.	IEEE Access	2024	DBLP DOI BibTeX RDF
8	Joachim Hebeler, Luca Steinweg, Frank Ellinger, Thomas Zwick	Wideband BPSK Transmitter Phased Array Operating at 246 GHz With ±30° Steering Range.	IEEE Access	2024	DBLP DOI BibTeX RDF