Search results for "proven"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Daniel J. Bernstein	How to Stretch Random Functions: The Security of Protected Counter Sums.	J. Cryptol.	1999	DBLP DOI BibTeX RDF	Unpredictable random functions, Variable-length inputs, Exact security analysis
9	Richard I. Hartley, Lourdes de Agapito, Ian D. Reid 0001, Eric Hayman	Camera Calibration and the Search for Infinity.	ICCV	1999	DBLP DOI BibTeX RDF
9	Eduardo Uchoa, Marcus Poggi de Aragão	Vertex-Disjoint Packing of Two Steiner Trees: Polyhedra and Branch-and-Cut.	IPCO	1999	DBLP DOI BibTeX RDF
9	N. Khalil, D. Eid, Marie Khair	Availability and Reliability Issues in Distributed Databases Using Optimal Horizontal Fragmentation.	DEXA	1999	DBLP DOI BibTeX RDF	Distributed Database Design, Optimal Horizontal Fragmentation, Distributed Database Availability and Reliability
9	Thomas Gschwind, Metin Feridun, Stefan Pleisch	ADK--Building Mobile Agents for Network and Systems Management from Reusable Components.	ASA/MA	1999	DBLP DOI BibTeX RDF
9	Marco Gori, Franco Scarselli	Are Multilayer Perceptrons Adequate for Pattern Recognition and Verification?	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	pattern verification, closed hemisphere problem, pattern recognition, Multilayer perceptrons, function approximation
9	Jan-Georg Smaus, Patricia M. Hill, Andy King	Termination of Logic Programs with block Declarations Running in Several Modes.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
9	Rolf Drechsler, Harry Hengster, Horst Schäfer, Joachim Hartmann, Bernd Becker 0001	Testability of 2-level AND/EXOR circuits.	ED&TC	1997	DBLP DOI BibTeX RDF
9	Haykal Tej, Burkhart Wolff	A Corrected Failure Divergence Model for CSP in Isabelle/HOL.	FME	1997	DBLP DOI BibTeX RDF
9	William D. Young, William R. Bevier	Mathematical Modeling and Analysis of an External Memory Manager.	FME	1997	DBLP DOI BibTeX RDF
9	Petr Savický, Stanislav Zák	A Hierarchy for (1, +k)-Branching Programs with Respect of k.	MFCS	1997	DBLP DOI BibTeX RDF
9	Chi-Chang Chen, Jianer Chen	Nearly Optimal One-To-Many Parallel Routing in Star Networks.	IPPS	1997	DBLP DOI BibTeX RDF
9	Halime Büyükyildiz, Pierre Flener	Generalised Logic Program Transformation Schemas.	LOPSTR	1997	DBLP DOI BibTeX RDF
9	Peter V. Homeier, David F. Martin	Mechanical Verification of Mutually Recursive Procedures.	CADE	1996	DBLP DOI BibTeX RDF
9	Stanislav Zák	A Superpolynomial Lower Bound for (1, +k(n))-Branching Programs.	MFCS	1995	DBLP DOI BibTeX RDF
9	Daming Zhu, Shaohan Ma, Hongze Qiu	Analysis of the Convergency of Topology Preserving Neural Networks on Learning.	ISAAC	1994	DBLP DOI BibTeX RDF
9	Mike Burmester, Yvo Desmedt	A Secure and Efficient Conference Key Distribution System (Extended Abstract).	EUROCRYPT	1994	DBLP DOI BibTeX RDF
9	Paul Dupuis, John Oliensis	Shape from Shading: Provably Convergent Algorithms and Uniqueness Results.	ECCV (2)	1994	DBLP DOI BibTeX RDF
9	Rainer Gawlick, Nancy A. Lynch, Nir Shavit	Concurrent Timestamping Made Simple.	ISTCS	1992	DBLP DOI BibTeX RDF
9	Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke	Proving Memory Management Invariants for a Language Based on Linear Logic.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
9	Rob T. Udink, Joost N. Kok	On the Relation Between Unity Properties and Sequences of States.	REX Workshop	1992	DBLP DOI BibTeX RDF	Semantic models - Unity, program refinement
9	Tatsuaki Okamoto	Provably Secure and Practical Identification Schemes and Corresponding Signature Schemes.	CRYPTO	1992	DBLP DOI BibTeX RDF
9	Antonio Brogi, Franco Turini	Metalogic for State Oriented Programming.	ELP	1992	DBLP DOI BibTeX RDF
9	Yuri Breitbart, Dimitrios Georgakopoulos 0001, Marek Rusinkiewicz, Abraham Silberschatz	On Rigorous Transaction Scheduling.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	rigorous transaction scheduling, transaction scheduling mechanisms, transaction serialization order, commitment order, multidatabase system environment, analogous execution, serialization orders, rigorous schedulers, hierarchical transaction management mechanisms, global serializability, scheduling, distributed databases, concurrency control, transaction processing, database theory
9	Ming Li 0001, Yaacov Yesha	New lower bounds for parallel computation.	J. ACM	1989	DBLP DOI BibTeX RDF
9	David A. Basin, Peter Del Vecchio	Verification Of Combinational Logic in Nuprl.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
9	Mary Micco	An undergraduate curriculum in expert systems design or knowledge engineering.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
9	Barry M. Barlow	An alternate approach to formal parsing methods.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF
9	John Gill, Manuel Blum 0001	On Almost Everywhere Complex Recursive Functions.	J. ACM	1974	DBLP DOI BibTeX RDF
4	Marenglen Biba, Stefano Ferilli, Floriana Esposito	Towards Multistrategic Statistical Relational Learning.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF
4	Charalambos Sergiou, Vasos Vassiliou	Alternative path creation vs data rate reduction for congestion mitigation in wireless sensor networks.	IPSN	2010	DBLP DOI BibTeX RDF	energy utilization, congestion control, topology control
4	Jin Chen, Huaigu Cao, Rohit Prasad, Anurag Bhardwaj, Premkumar Natarajan	Gabor features for offline Arabic handwriting recognition.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF	Arabic handwriting recognition, feature extraction, Gabor filtering
4	Lei Zhang 0004, Alexander Brodsky 0001, Sushil Jajodia	Restoring compromised privacy in micro-data disclosure.	AsiaCCS	2010	DBLP DOI BibTeX RDF	micro-data disclosure, data privacy
4	Benoît Libert, Moti Yung	Dynamic fully forward-secure group signatures.	AsiaCCS	2010	DBLP DOI BibTeX RDF	key protection, anonymity, security modeling, group signatures, forward security, key exposure
4	Eugene Creswick, Aaron M. Novstrup	Error-tolerant version space algebra.	IUI	2010	DBLP DOI BibTeX RDF	programming by demonstration, smart environments, error tolerance, version spaces
4	Yonit Magid, Guy Sharon, Sarit Arcushin, Idan Ben-Harrush, Ella Rabinovich	Industry experience with the IBM Active Middleware Technology (AMiT) Complex Event Processing engine.	DEBS	2010	DBLP DOI BibTeX RDF	continuous control monitoring, RFID, location awareness, complex event processing, event processing network
4	Alexander Artikis, Georgios Paliouras, François Portet, Anastasios Skarlatidis	Logic-based representation, reasoning and machine learning for event recognition.	DEBS	2010	DBLP DOI BibTeX RDF	event recognition
4	Peter Gehres, Nathan Singleton, George Louthan, John Hale	Toward sensitive information redaction in a collaborative, multilevel security environment.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	collaboration, multilevel security, redaction
4	Lucas Drumond, Rosario Girardi	Extracting ontology concept hierarchies from text using Markov logic.	SAC	2010	DBLP DOI BibTeX RDF	knowledge acquisition, ontology learning, Markov logic networks
4	Angelina Espinoza, Goetz Botterweck, Juan Garbajosa	A formal approach to reuse successful traceability practices in SPL projects.	SAC	2010	DBLP DOI BibTeX RDF	feature configuration, traceability metamodeling, traceability methodology, software product lines, knowledge reuse, product derivation
4	Will Hedgecock, Péter Völgyesi, Ákos Lédeczi, Xenofon D. Koutsoukos, Akram Aldroubi, Alexander S. Szalay, Andreas Terzis	Mobile air pollution monitoring network.	SAC	2010	DBLP DOI BibTeX RDF	wireless sensor network, modeling, pollution, mobile sensing
4	Ahmad Waqas Kamal, Paris Avgeriou	Modeling the variability of architectural patterns.	SAC	2010	DBLP DOI BibTeX RDF	UML, variability, architectural patterns
4	Corneliu Popeea, Wei-Ngan Chin	Dual analysis for proving safety and finding bugs.	SAC	2010	DBLP DOI BibTeX RDF	numerical domains, static analysis
4	Gustavo de Sá Carvalho Honorato, Simone Diniz Junqueira Barbosa	NCL-inspector: towards improving NCL code.	SAC	2010	DBLP DOI BibTeX RDF	NCL inspection tool, hypermedia development, static code analysis tool, NCL
4	Shafagh Alikhani, Thomas Kunz, Marc St-Hilaire, Fei Richard Yu	A central-networked cross-layer design framework for wireless sensor networks.	IWCMC	2010	DBLP DOI BibTeX RDF	cross-layer design and optimization, wireless sensor networks, architectures, protocols, wireless channel
4	Zhijing G. Mou, Hai Liu 0012, Paul Hudak	Compress-and-conquer for optimal multicore computing.	DAMP	2010	DBLP DOI BibTeX RDF	compress and conquer, parallel computing, functional programming, scan, divide and conquer, programming paradigm, multicore programming
4	J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky	Toward a verified relational database management system.	POPL	2010	DBLP DOI BibTeX RDF	relational model, dependent types, separation logic, b+ tree
4	Humberto González, Ramanarayan Vasudevan, Maryam Kamgarpour, S. Shankar Sastry, Ruzena Bajcsy, Claire J. Tomlin	A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems.	HSCC	2010	DBLP DOI BibTeX RDF	constrained optimal control, switched hybrid systems
4	Mehran Sahami, Alex Aiken, Julie Zelenski	Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field.	SIGCSE	2010	DBLP DOI BibTeX RDF	tracks, curriculum, concentrations, multi-disciplinary
4	Cinnamon Hillyard, Robin Lynn Angotti, Michael Panitz, Kelvin Sung, John Nordlinger, David Goldstein	Game-themed programming assignments for faculty: a case study.	SIGCSE	2010	DBLP DOI BibTeX RDF	adaptation, games, assessment, assignments, cs1/2
4	Felix Dobslaw	An experimental study on robust parameter settings.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	metaheuristics, experimental design, parameter tuning
4	Per Kristian Lehre, Carsten Witt	Black-box search by unbiased variation.	GECCO	2010	DBLP DOI BibTeX RDF	black-box complexity, runtime analysis
4	Kevin Kratzer, Axel Böttcher	Using an RTSJ-compatible MVC pattern as basis for configurable event-driven real-time software.	JTRES	2010	DBLP DOI BibTeX RDF	real-time design patterns, real-time programming idioms, real-time Java, RTSJ, configurable software
4	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
4	Darius Braziunas, Craig Boutilier	Assessing regret-based preference elicitation with the UTPREF recommendation system.	EC	2010	DBLP DOI BibTeX RDF	utility elicitation, recommender systems, user studies
4	Sakrapee Paisitkriangkrai, Tao Mei 0001, Jian Zhang 0002, Xian-Sheng Hua 0001	Scalable clip-based near-duplicate video detection with ordinal measure.	CIVR	2010	DBLP DOI BibTeX RDF	Multi-Probe LSH, ordinal measure, video search, video copy detection, near-duplicates
4	Marcelo Arenas, Ronald Fagin, Alan Nash	Composition with target constraints.	ICDT	2010	DBLP DOI BibTeX RDF	target constraint, composition, data exchange, schema mapping, metadata management
4	Hannu Korhonen	Comparison of playtesting and expert review methods in mobile game evaluation.	Fun and Games	2010	DBLP DOI BibTeX RDF	comparison study, playability heuristics, playtesting, evaluation method, expert review
4	Naeem Muhammad, Nelis Boucké, Yolande Berbers	Model-based enhancement of software performance for precision critical systems.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	architecture viewpoint, flow latency viewpoint, parallelism viewpoint, software performance
4	Mohsen Anvaari, Slinger Jansen	Evaluating architectural openness in mobile software platforms.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	mobile software platforms, openness strategy, platform accessibility, platform architecture, qualitative interview
4	Stephen David Beck, Shantenu Jha, Brygg Ullmer, Chris Branton, Sharath Maddineni	GRENDL: grid enabled distribution and control for Laptop Orchestras.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF	laptop orchestra, grid computing, music, tangible interaction
4	Charu C. Aggarwal, Peixiang Zhao 0001	Graphical models for text: a new paradigm for text representation and processing.	SIGIR	2010	DBLP DOI BibTeX RDF	text representations
4	Van Dang, Michael Bendersky, W. Bruce Croft	Learning to rank query reformulations.	SIGIR	2010	DBLP DOI BibTeX RDF	query performance predictor, query expansion, learning to rank, query reformulation, query log
4	Ivo Krka, Yuriy Brun, Daniel Popescu 0001, Joshua Garcia, Nenad Medvidovic	Using dynamic execution traces and program invariants to enhance behavioral model inference.	ICSE (2)	2010	DBLP DOI BibTeX RDF	likely invariants, dynamic analysis, specification mining
4	Jacob Burnim, Koushik Sen	DETERMIN: inferring likely deterministic specifications of multithreaded programs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	parallel programs, determinism, specification inference
4	Heiko Haller, Andreas Abecker	iMapping: a zooming user interface approach for personal and semantic knowledge management.	HT	2010	DBLP DOI BibTeX RDF	personal knowledge management, visual knowledge mapping, human- computer interaction, interaction design, spatial hypertext, semantic desktop
4	Bastian Degener, Barbara Kempkes, Friedhelm Meyer auf der Heide	A local O(n2) gathering algorithm.	SPAA	2010	DBLP DOI BibTeX RDF	distributed algorithms, local algorithms, swarm robotics, gathering, geometric networks
4	Puneet Gupta 0001, Andrew B. Kahng, Amarnath Kasibhatla, Puneet Sharma	Eyecharts: constructive benchmarking of gate sizing heuristics.	DAC	2010	DBLP DOI BibTeX RDF	dynamic programming, benchmarking, gate sizing
4	Hui Kong 0002, Qiang Ma 0002, Tan Yan, Martin D. F. Wong	An optimal algorithm for finding disjoint rectangles and its application to PCB routing.	DAC	2010	DBLP DOI BibTeX RDF	PCB routing, maximum independent subset, escape routing
4	Christian Dannegger	Real-Time Autonomic Automation.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
4	Matthias Jarke	Perspectives in the Interplay Between Business and Information Systems Engineering and Computer Science.	Bus. Inf. Syst. Eng.	2009	DBLP DOI BibTeX RDF	Computer science, Co-evolution, Interdisciplinary research, Business and information systems engineering
4	Dirk Gorissen, Luciano De Tommasi, Karel Crombecq, Tom Dhaene	Sequential modeling of a low noise amplifier with neural networks and active learning.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Global surrogate modeling, Active learning, Amplifier
4	Alexandrino Gonçalves, Luís Magalhães, João-Paulo Moura, Alan Chalmers	High dynamic range - a gateway for predictive ancient lighting.	ACM Journal on Computing and Cultural Heritage	2009	DBLP DOI BibTeX RDF	Conimbriga, eye adaptation, visualization, High dynamic range
4	Yu-Ru Lin, Yun Chi, Shenghuo Zhu, Hari Sundaram, Belle L. Tseng	Analyzing communities and their evolutions in dynamic social networks.	ACM Trans. Knowl. Discov. Data	2009	DBLP DOI BibTeX RDF	community net, evolution net, soft membership, Community, evolution, nonnegative matrix factorization
4	Stefan Koch 0001	Exploring the effects of SourceForge.net coordination and communication tools on the efficiency of open source projects using data envelopment analysis.	Empir. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Communication, Coordination, Efficiency, Tools, Open source software, Data envelopment analysis
4	Wouter Teepe	On BAN logic and hash functions or: how an unjustified inference rule causes problems.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Two parrots protocol, Security protocol, Soundness, Cryptographic hash function, BAN logic
4	Pentti O. A. Haikonen	The Role of Associative Processing in Cognitive Computing.	Cogn. Comput.	2009	DBLP DOI BibTeX RDF	Associative processing, Machine cognition, Symbolic neural networks, Ontology, Meaning
4	Jeong-woo Cho, Jeonghoon Mo, Song Chong	Joint network-wide opportunistic scheduling and power control in multi-cell networks.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
4	Ioannis Krikidis, John S. Thompson, Steve McLaughlin 0001, Norbert Goertz	Max-min relay selection for legacy amplify-and-forward systems with interference.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
4	Hongbin Chen 0001, Chi Kong Tse, Jiuchao Feng	Minimizing effective energy consumption in multi-cluster sensor networks for source extraction.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
4	Robert J. Baxley, John E. Kleider, G. Tong Zhou	Pilot design for OFDM with null edge subcarriers.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
4	Hassan Artail, Salem Saab	A Distributed System for Consuming Web Services and Caching Their Responses in MANETs.	IEEE Trans. Serv. Comput.	2009	DBLP DOI BibTeX RDF
4	David Cohen-Steiner, Herbert Edelsbrunner, John Harer	Extending Persistence Using Poincaré and Lefschetz Duality.	Found. Comput. Math.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 55N99, 68W30
4	Javier Cámara, Alfred Kobsa	Facilitating Controlled Tests of Website Design Changes Using Aspect-Oriented Software Development and Software Product Lines.	Trans. Large Scale Data Knowl. Centered Syst.	2009	DBLP DOI BibTeX RDF
4	Dharani Priyahansika Perera, R. T. Jim Eales, Kathy Blashki	Supporting the creative drive: investigating paralinguistic voice as a mode of interaction for artists with upper limb disabilities.	Univers. Access Inf. Soc.	2009	DBLP DOI BibTeX RDF	Artists with upper limb disabilities, Paralinguistic voice, Interaction design, Case studies
4	Santi Martínez, Magda Valls, Concepció Roig, Josep M. Miret, Francesc Giné	A Secure Elliptic Curve-Based RFID Protocol.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	RFID, elliptic curve cryptography, zero knowledge, forward security
4	Hsiao-Hsi Wang, Kuan-Ching Li, Ssu-Hsuan Lu, Chun-Chieh Yang	Towards implementation of a novel scheme for data prefetching on distributed shared memory systems.	J. Supercomput.	2009	DBLP DOI BibTeX RDF	Adaptive data classification scheme, Effective prefetch strategy, Distributed shared memory
4	Nicolás Ruiz-Reyes, Pedro Vera-Candeas, J. Enrique Muñoz Expósito, Sebastián García Galán, Francisco J. Cañadas-Quesada	New speech/music discrimination approach based on fundamental frequency estimation.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Speech/music discrimination, Signal features, Fundamental frequency estimation, Pattern recognition, Multimedia, Fuzzy systems, Pitch
4	Bela Stantic, Abdul Sattar 0001, Paolo Terenziani	The POINT approach to represent now in bitemporal databases.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Now-related data, Querying bitemporal data, Efficient data access, Bitemporal data indexing, Temporal databases, Experimental evaluation
4	Dmitry G. Korzun, Andrei V. Gurtov	A local equilibrium model for P2P resource ranking.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
4	Bill Lin 0001, Jun (Jim) Xu, Nan Hua, Hao Wang 0006, Haiquan (Chuck) Zhao	A randomized interleaved DRAM architecture for the maintenance of exact statistics counters.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
4	Sipat Triukose, Zhihua Wen, Michael Rabinovich	Content delivery networks: how big is big enough?	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
4	Alma Riska, Erik Riedel	Evaluation of disk-level workloads at different time scales.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
4	José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, José Ramón Garitagoitia, Francesc D. Muñoz-Escoí	Correctness proof of a database replication protocol under the perspective of the I/O automaton model.	Acta Informatica	2009	DBLP DOI BibTeX RDF
4	Roland Meyer 0001	A theory of structural stationarity in the pi -Calculus.	Acta Informatica	2009	DBLP DOI BibTeX RDF
4	Eva Magnusson, Torbjörn Ekman 0001, Görel Hedin	Demand-driven evaluation of collection attributes.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Collection attributes, Circular attributes, Fixed-point computations, Attribute grammars, Source code analysis
4	Krzysztof Debicki, Abdelghafour Es-Saghouani, Michel Mandjes	Transient characteristics of Gaussian queues.	Queueing Syst. Theory Appl.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60G15, 60K25, 60F10
4	Hana Chockler, Ofer Strichman	Before and after vacuity.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Vacuity, Model-checking, Complexity
4	Arie M. C. A. Koster, Adrian Zymolka, Manuel Kutschka	Algorithms to Separate {0, \frac12}\{0, \frac{1}{2}\} -Chvátal-Gomory Cuts.	Algorithmica	2009	DBLP DOI BibTeX RDF	Chvátal-Gomory cuts, Separation algorithms, Integer programming
4	Praveen Raghavan, Andy Lambrechts, Murali Jayapala, Francky Catthoor, Diederik Verkest	Distributed Loop Controller for Multithreading in Unithreaded ILP Architectures.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF