Search results for "simplicity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Nan Guo, Tianhan Gao, Bin Zhang 0001, Hong Zhao	Distributed and Scalable Event Correlation Based on Causality Graph.	APNOMS	2007	DBLP DOI BibTeX RDF	causality graph, divide-and-conquer, event correlation, distributed network management
11	Brandon J. Smith, Bruce R. Southey, Sandra L. Rodriguez-Zas	Smoothing Spline Mixed Effects Modeling of Multifactorial Gene Expression Profiles.	BIBM	2007	DBLP DOI BibTeX RDF
11	Ka Ho Chan, Xiaowen Chu 0001	Design of a Fuzzy PI Controller to Guarantee Proportional Delay Differentiation on Web Servers.	AAIM	2007	DBLP DOI BibTeX RDF	Fuzzy PI Controller, QoS, Web servers
11	Juha Kärkkäinen, Peter Sanders 0001, Stefan Burkhardt	Linear work suffix array construction.	J. ACM	2006	DBLP DOI BibTeX RDF	Difference cover, suffix array, external memory algorithms
11	Newton Lee	Mobile convergence: WINMEC mobile entertainment media forum.	Comput. Entertain.	2006	DBLP DOI BibTeX RDF
11	Qian Du 0001, Nareenart Raksuntorn, Adnan Orduyilmaz	Restoration of Degraded Video Through Turbulent Atmosphere.	ICIP	2006	DBLP DOI BibTeX RDF
11	Frank Terpstra, Pieter W. Adriaans	Designing Workflow Components for e-Science.	e-Science	2006	DBLP DOI BibTeX RDF
11	G. Plitsis	Performance of the application of chaotic signals in IEEE 802.11b and wireless sensor networks.	ISCN	2006	DBLP DOI BibTeX RDF
11	Mohammed Assora, Ayoub Shirvani	Enhancing the Security and Efficiency of 3-D Secure.	ISC	2006	DBLP DOI BibTeX RDF	3-D Secure, password based authentication and key exchange, online transaction security, SSL/TLS
11	Krishnendu Chatterjee, Thomas A. Henzinger	Finitary Winning in omega-Regular Games.	TACAS	2006	DBLP DOI BibTeX RDF
11	Deokjai Choi 0001, Hongseok Jang, Kugsang Jeong, Punghyeok Kim, Soo-Hyung Kim	Delivery and Storage Architecture for Sensed Information Using SNMP.	APNOMS	2006	DBLP DOI BibTeX RDF	sensed information management, sensor network management, SNMP
11	Xingwu Liu, Zhiwei Xu 0002	Approaching Simple and Powerful Service-Computing.	GCC	2006	DBLP DOI BibTeX RDF
11	Luis Ceze, James Tuck 0001, Josep Torrellas, Calin Cascaval	Bulk Disambiguation of Speculative Threads in Multiprocessors.	ISCA	2006	DBLP DOI BibTeX RDF
11	Parag Mulendra Joshi, Clayton Brian Atkins, Tong Zhang 0007	From video to photo albums: digital publishing workflow for automatic album creation.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	WSBPEL, photo album, web-to-print, web services, multimedia, workflow, video, digital publishing
11	Rui F. C. Guerreiro, Pedro M. Q. Aguiar	Global Motion Estimation: Feature-Based, Featureless, or Both ?!	ICIAR (1)	2006	DBLP DOI BibTeX RDF
11	Gerhard Gröger, Lutz Plümer	How to Get 3-D for the Price of 2-D-Topology and Consistency of 3-D Urban GIS.	GeoInformatica	2005	DBLP DOI BibTeX RDF	2.5-D, 2.8-D, GIS, maps, consistency, topology, completeness, correctness, axioms, 3-D
11	Deborah R. Carvalho, Alex Alves Freitas	Evaluating Six Candidate Solutions for the Small-Disjunct Problem and Choosing the Best Solution via Meta-Learning.	Artif. Intell. Rev.	2005	DBLP DOI BibTeX RDF	genetic algorithms, data mining, classification, decision trees, instance-based learning
11	Junichi Suzuki, Tatsuya Suda	A middleware platform for a biologically inspired network architecture supporting autonomous and adaptive applications.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
11	Antti Sorjamaa, Nima Reyhani, Amaury Lendasse	Input and Structure Selection for k-NN Approximator.	IWANN	2005	DBLP DOI BibTeX RDF	Leave-one-out and Model Structure Selection, Bootstrap, Time Series Prediction, k-NN
11	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	Type-based verification of assembly language for compiler debugging.	TLDI	2005	DBLP DOI BibTeX RDF	abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code
11	Johan Fredriksson, Massimo Tivoli, Ivica Crnkovic	A component-based development framework for supporting functional and non-functional analysis in control system design.	ASE	2005	DBLP DOI BibTeX RDF	non functional analysis, control systems, real time embedded systems, functional analysis
11	Vladimir Estivill-Castro, Jianhua Yang	Fast and Robust General Purpose Clustering Algorithms.	Data Min. Knowl. Discov.	2004	DBLP DOI BibTeX RDF	medoids, 1-median problem, clustering, combinatorial optimization, k-MEANS, EXPECTATION MAXIMIZATION
11	Francesco Bonchi, Fosca Giannotti, Dino Pedreschi	A Relational Query Primitive for Constraint-Based Pattern Mining.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
11	Masakazu Miyamae, Tsutomu Terada, Masahiko Tsukamoto, Shojiro Nishio	Design and Implementation of an Extensible Rule Processing System for Wearable Computing.	MobiQuitous	2004	DBLP DOI BibTeX RDF
11	Francisco J. Ferrer-Troyano, Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos	Discovering decision rules from numerical data streams.	SAC	2004	DBLP DOI BibTeX RDF	data streams, decision rules, scalable algorithms
11	Antoine B. Bagula	Online Traffic Engineering: A Hybrid IGP+MPLS Routing Approach.	QofIS	2004	DBLP DOI BibTeX RDF
11	Tatsuya Abe 0001	A Concurrent System of Multi-ported Processes with Causal Dependency.	APLAS	2004	DBLP DOI BibTeX RDF
11	Xiaoshu Hang, Honghua Dai 0001	Combining Extension Matrix and Integer Programming for Optimal Concept Learning.	PRICAI	2004	DBLP DOI BibTeX RDF
11	Martin Atzmüller, Joachim Baumeister, Frank Puppe	Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases.	INAP/WLP	2004	DBLP DOI BibTeX RDF
11	Gadi Taubenfeld	The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms.	DISC	2004	DBLP DOI BibTeX RDF
11	Mir M. Atiqullah	An Efficient Simple Cooling Schedule for Simulated Annealing.	ICCSA (3)	2004	DBLP DOI BibTeX RDF	Optimization, simulated annealing, cooling schedule
11	Allan Borodin, Morten N. Nielsen, Charles Rackoff	(Incremental) Priority Algorithms.	Algorithmica	2003	DBLP DOI BibTeX RDF	Scheduling, Greedy algorithms, Priority algorithms
11	Ryutarou Ohbuchi, Masatoshi Nakazawa, Tsuyoshi Takei	Retrieving 3D shapes based on their appearance.	Multimedia Information Retrieval	2003	DBLP DOI BibTeX RDF	polygon soup, shape similarity search, geometric modeling, polygonal mesh, depth map, three-dimensional models
11	Gerhard Gröger, Lutz Plümer	Exploiting 2D concepts to achieve consistency in 3D GIS applications.	GIS	2003	DBLP DOI BibTeX RDF	GIS, maps, consistency, completeness, 3D, correctness, axioms
11	Dieter Fensel	Semantic Web Services: A Communication Infrastructure for eWork and eCommerce.	ICWE	2003	DBLP DOI BibTeX RDF
11	Moni Naor, Udi Wieder	Novel architectures for P2P applications: the continuous-discrete approach.	SPAA	2003	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, peer-to-peer, hash tables
11	Anthony N. Pettitt, I. S. Weir, A. G. Hart	A Conditional Autoregressive Gaussian Process for Irregularly Spaced Multivariate Data with Application to Modelling Large Sets of Binary Data.	Stat. Comput.	2002	DBLP DOI BibTeX RDF	conditional autoregression, Markov chain Monte Carlo, spatio-temporal, Bayesian analysis, multivariate data, spatial statistics, binary data
11	Andreas Crauser, Paolo Ferragina	A Theoretical and Experimental Study on the Construction of Suffix Arrays in External Memory.	Algorithmica	2002	DBLP DOI BibTeX RDF	External-memory model, Full-text and word-based models, Suffix array, Large data sets, Text indexing
11	Casiano Rodríguez	The Design and Analysis of Parallel Algorithms.	PDP	2002	DBLP DOI BibTeX RDF
11	Allan Borodin, Morten N. Nielsen, Charles Rackoff	(Incremental) priority algorithms.	SODA	2002	DBLP BibTeX RDF
11	Bernhard Reus	Class-Based versus Object-Based: A Denotational Comparison.	AMAST	2002	DBLP DOI BibTeX RDF
11	Dukjae Moon, Kyungdeok Hwang, Wonil Lee, Sangjin Lee 0002, Jongin Lim 0001	Impossible Differential Cryptanalysis of Reduced Round XTEA and TEA.	FSE	2002	DBLP DOI BibTeX RDF
11	Andrew J. Parkes	Scaling Properties of Pure Random Walk on Random 3-SAT.	CP	2002	DBLP DOI BibTeX RDF
11	Yitzhak Birk, Nafea Bishara	Distributed-and-Split Data-Control Extension to SCSI for Scalable Storage Area Networks.	Hot Interconnects	2002	DBLP DOI BibTeX RDF
11	Bernhard Heinemann	Modelling Change with the Aid of Knowledge and Time.	FCT	2001	DBLP DOI BibTeX RDF
11	Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar	ABCD: eliminating array bounds checks on demand.	PLDI	2000	DBLP DOI BibTeX RDF
11	Susan Lilly	Use Case Pitfalls: Top 10 Problems from Real Projects Using Use Cases.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
11	Wolfgang A. Halang, Alceu Heinke Frigeri	Methods and Languages for Safety-Related Real-Time Programming.	SAFECOMP	1998	DBLP DOI BibTeX RDF	Safety controllers, Safe language subsets, Cause/effect tables, Function block diagrams, Safety integrity levels, Real time systems, Programming languages
11	Ian Piumarta, Fabio Riccardi	Optimizing Direct-threaded Code by Selective Inlining.	PLDI	1998	DBLP DOI BibTeX RDF	threaded code, just-in-time compilation, inlining, dynamic translation, bytecode interpretation
11	Ján Komara, Paul J. Voda	Theorems af Péter and Parsons in Computer Programming.	CSL	1998	DBLP DOI BibTeX RDF
11	Seán Matthews	Implementing FS0 in Isabelle: Adding Structure at the Metalevel.	DISCO	1996	DBLP DOI BibTeX RDF
11	Janusz Rajski, Jagadeesh Vasudevamurthy	The testability-preserving concurrent decomposition and factorization of Boolean expressions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
11	Hanspeter Mössenböck	A Generator for Production Quality Compilers.	CC	1990	DBLP DOI BibTeX RDF
11	Gerhard Weikum, Christof Hasse, Peter Brössler, Peter Muth	Multi-Level Recovery.	PODS	1990	DBLP DOI BibTeX RDF
11	Alfred Schmidt, Fevzi Belli	An Extension of PROLOG for Object-Oriented Programming in Logic.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
11	Gen-Lin Tan, Xiao-Li Yuan, Qi-Ming Zhang, Walter H. Ku, An-Jui Shey	Two-dimensional semiconductor device analysis based on new finite-element discretization employing the S-G scheme.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
11	Franklin T. Luk, Eric K. Torng, Cynthia J. Anfinson	A novel fault tolerance technique for recursive least squares minimization.	J. VLSI Signal Process.	1989	DBLP DOI BibTeX RDF
11	Martin Wirsing, Manfred Broy	A Modular Framework for Specification and Implementation.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
11	Ronald Morrison, Malcolm P. Atkinson 0001, Alfred L. Brown, Alan Dearle	Bindings persistent programming languages.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
11	Alessandro Forin	Debugging of Heterogeneous Parallel Systems.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
11	Nicholas Carriero, David Gelernter	The S/Net's Linda Kernel.	ACM Trans. Comput. Syst.	1986	DBLP DOI BibTeX RDF
11	Derek L. Eager, Edward D. Lazowska, John Zahorjan	A Comparison of Receiver-Initiated and Sender-Initiated Adaptive Load Sharing.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
11	John R. Talburt	The Flesch Index: An Easily Programmable Readability Analysis Algorithm.	SIGDOC	1985	DBLP DOI BibTeX RDF
11	Robert Berry, K. Mani Chandy	Performance models of token ring local area networks.	SIGMETRICS	1983	DBLP DOI BibTeX RDF
11	Haim Kilov	Guidelines for writing PL/I programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
11	Mordechai Ben-Ari	On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs.	ICALP	1982	DBLP DOI BibTeX RDF
11	Robert C. Gammill	A tiny portable language-independent macroprocessor and some applications.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
11	J. Dean Brock	Consistent Semantics for a Data Flow Language.	MFCS	1980	DBLP DOI BibTeX RDF
11	Gene McDaniel	METRIC: A Kernel Instrumentation System for Distributed Environments.	SOSP	1977	DBLP DOI BibTeX RDF
11	Arnold L. Rosenberg	Allocating Storage for Extendible Arrays.	J. ACM	1974	DBLP DOI BibTeX RDF
11	Arnold L. Rosenberg	Transitions in Extendible Arrays.	POPL	1973	DBLP DOI BibTeX RDF
11	Vincent J. DiGri, Jane E. King	The Share 709 System: Input-Output Translation.	J. ACM	1959	DBLP DOI BibTeX RDF
5	Attila Gyulassy, Joshua A. Levine, Valerio Pascucci	Visualization of discrete gradient construction.	SCG	2011	DBLP DOI BibTeX RDF
5	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
5	Vahid Garousi	Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Behavioral dependency analysis, Message weights, Distributed systems, UML, Metrics, Dependability, Model-driven development
5	Leandro dos Santos Coelho, Helon Vicente Hultmann Ayala, Nadia Nedjah, Luiza de Macedo Mourelle	Multiobjective Gaussian Particle Swarm Approach Applied to Multi-loop PI Controller Tuning of a Quadruple-Tank System.	Multi-Objective Swarm Intelligent System	2010	DBLP DOI BibTeX RDF
5	Yvonne Jung, Sabine Webel, Manuel Olbrich, Timm Drevensek, Tobias Alexander Franke, M. Roth, Dieter W. Fellner	Interactive textures as spatial user interfaces in X3D.	Web3D	2010	DBLP DOI BibTeX RDF	virtual reality, interaction, texturing, X3D, 3D UI
5	Tomas Petricek 0001, Don Syme	Collecting hollywood's garbage: avoiding space-leaks in composite events.	ISMM	2010	DBLP DOI BibTeX RDF	inversion of control, garbage collection, duality, event-driven, reactive programming, combinator libraries
5	Niko Popitsch, Bernhard Haslhofer	DSNotify: handling broken links in the web of data.	WWW	2010	DBLP DOI BibTeX RDF	instance matching, link integrity, blocking, linked data, broken links
5	Peter Siska, Marc Ph. Stoecklin, Andreas Kind, Torsten Braun	A flow trace generator using graph-based traffic classification techniques.	IWCMC	2010	DBLP DOI BibTeX RDF	self-parameterization, traffic dispersion graphs, network flows, trace generation
5	Harish Doraiswamy, Aneesh Sood, Vijay Natarajan	Constructing Reeb graphs using cylinder maps.	SCG	2010	DBLP DOI BibTeX RDF	level set topology, computational topology, Reeb graphs
5	Renshen Wang, Evangeline F. Y. Young, Ronald L. Graham, Chung-Kuan Cheng	Physical synthesis of bus matrix for high bandwidth low power on-chip communications.	ISPD	2010	DBLP DOI BibTeX RDF	wire efficiency, bandwidth, power efficiency
5	Peter Brandl, Christoph Richter, Michael Haller	NiCEBook: supporting natural note taking.	CHI	2010	DBLP DOI BibTeX RDF	digital notebook, tagging, structuring, note-taking, paper interface, digital pen
5	Heli Väätäjä, Virpi Roto	Mobile questionnaires for user experience evaluation.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	evaluation, mobile devices, user experience, field study, questionnaires, experience sampling
5	Sheng Kai Tang, Wen Yen Tang	Adaptive mouse: a deformable computer mouse achieving form-function synchronization.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	adaptive product, computer mouse, form-function synchronization, intuitive interface
5	Chi Zhou	Fast parallelization of differential evolution algorithm using MapReduce.	GECCO	2010	DBLP DOI BibTeX RDF	differential evolution, MapReduce, hadoop
5	Sayan Ghosh 0001, Swagatam Das, Sanjoy Das	On the asymptotic convergence of differential evolution in continuous spaces: a control theoretic approach.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	lyapunov stability theorems, convergence, differential evolution, numerical optimization, probability density functions (pdfs), asymptotic stability
5	Jack F. Shepherd III, Kagan Tumer	Robust neuro-control for a micro quadrotor.	GECCO	2010	DBLP DOI BibTeX RDF	adaptation, learning, evolution
5	Martin Bichler, Pasha Shabalin, Georg Ziegler	Efficiency with linear prices: a theoretical and experimental analysis of the combinatorial clock auction.	EC	2010	DBLP DOI BibTeX RDF	allocative efficiency, combinatorial clock auction, core-selecting auctions, ex-post equilibrium
5	Saurabh Panjwani, Edward Cutrell	Usably secure, low-cost authentication for mobile banking.	SOUPS	2010	DBLP DOI BibTeX RDF	security, usability, mobile, authentication, banking, paper, developing regions, PIN, ICTD
5	Hagit Attiya	The inherent complexity of transactional memory and what to do about it.	PODC	2010	DBLP DOI BibTeX RDF	mini-transactions, lower bounds, transactional memory
5	Johannes Schneider 0002, Roger Wattenhofer	Brief announcement: tree decomposition for faster concurrent data structures.	PODC	2010	DBLP DOI BibTeX RDF	graphs, concurrent data structures
5	Karl Mazurak, Jianzhou Zhao, Steve Zdancewic	Lightweight linear types in system fdegree.	TLDI	2010	DBLP DOI BibTeX RDF	type systems, polymorphism, linear logic
5	Georgios Keramidas, Vasileios Spiliopoulos, Stefanos Kaxiras	Interval-based models for run-time DVFS orchestration in superscalar processors.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	performance and power modeling, superscalar out-of-order processors, dynamic voltage and frequency scaling
5	Rosa Iglesias, Ibai Ibarguren, Nuria Gómez de Segura, Julen Ugalde, Leticia Coello, Miren Iturburu	FoodManager: a cooking, eating and appliance controlling support system for the elderly.	PETRA	2010	DBLP DOI BibTeX RDF	eating, smart kitchen, ambient assisted living, elderly people, cooking
5	Tayfun Elmas	QED: a proof system based on reduction and abstraction for the static verification of concurrent software.	ICSE (2)	2010	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
5	Marek Lipczak, Evangelos E. Milios	The impact of resource title on tags in collaborative tagging systems.	HT	2010	DBLP DOI BibTeX RDF	modelling, folksonomies, collaborative tagging
5	Matei Zaharia, Dhruba Borthakur, Joydeep Sen Sarma, Khaled Elmeleegy, Scott Shenker, Ion Stoica	Delay scheduling: a simple technique for achieving locality and fairness in cluster scheduling.	EuroSys	2010	DBLP DOI BibTeX RDF	scheduling, cluster computing, mapreduce, fair sharing
5	Peter Alvaro, Tyson Condie, Neil Conway, Khaled Elmeleegy, Joseph M. Hellerstein, Russell Sears	Boom analytics: exploring data-centric, declarative programming for the cloud.	EuroSys	2010	DBLP DOI BibTeX RDF	cloud computing, datalog, mapreduce
5	Lujun Fang, Kristen LeFevre	Splash: ad-hoc querying of data and statistical models.	EDBT	2010	DBLP DOI BibTeX RDF