Search results for "completion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Leonard Barolli, Akio Koyama, Arjan Durresi, Giuseppe De Marco	A web-based e-learning system for increasing study efficiency by stimulating learner's motivation.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	Increase of learning efficiency, Stimulating learner’s motivation, Grouping of learners, E-learning, Web-based systems
11	Harry Shum	Human Intention Modeling and Interactive Computer Vision.	IROS	2006	DBLP DOI BibTeX RDF
11	Zhigang Cao, Zhen Wang, Yuzhong Zhang, Shoupeng Liu	On Several Scheduling Problems with Rejection or Discretely Compressible Processing Times.	TAMC	2006	DBLP DOI BibTeX RDF
11	Caroline Jay, Robert Stevens 0001, Mashhuda Glencross, Alan Chalmers	How people use presentation to search for a link: expanding the understanding of accessibility on the web.	W4A	2006	DBLP DOI BibTeX RDF
11	Arjen van Rhijn, Jurriaan D. Mulder	Spatial input device structure and bimanual object manipulation in virtual environments.	VRST	2006	DBLP DOI BibTeX RDF	configurable input device, multi-dimensional control, virtual reality, direct manipulation
11	Cédric Allène, Nikos Paragios	Image Renaissance Using Discrete Optimization.	ICPR (3)	2006	DBLP DOI BibTeX RDF
11	Boaz Lerner, Boaz Vigdor	Image Classification for Genetic Diagnosis using Fuzzy ARTMAP.	ICPR (3)	2006	DBLP DOI BibTeX RDF
11	Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin	Description Logic Reasoning with Syntactic Updates.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
11	Alan L. Liu, Harlan Hile, Henry A. Kautz, Gaetano Borriello, Pat A. Brown, Mark Harniss, Kurt Johnson	Indoor wayfinding: : developing a functional interface for individuals with cognitive impairments.	ASSETS	2006	DBLP DOI BibTeX RDF	user interface, ubiquitous computing, wizard-of-oz, cognitive disability
11	Diana Marculescu, Siddharth Garg	System-level process-driven variability analysis for single and multiple voltage-frequency island systems.	ICCAD	2006	DBLP DOI BibTeX RDF	voltage-frequency islands, variability
11	Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen	Completing and Adapting Models of Biological Processes.	BICC	2006	DBLP DOI BibTeX RDF
11	Guangchang Ye, Ruonan Rao, Minglu Li 0001	A Multiobjective Resources Scheduling Approach Based on Genetic Algorithms in Grid Environment.	GCC Workshops	2006	DBLP DOI BibTeX RDF
11	Yohan Boichut, Thomas Genet	Feasible Trace Reconstruction for Rewriting Approximations.	RTA	2006	DBLP DOI BibTeX RDF
11	Stephen L. Bloom, Zoltán Ésik	Completing Categorical Algebras.	IFIP TCS	2006	DBLP DOI BibTeX RDF
11	Young Choon Lee, Albert Y. Zomaya	Data Sharing Pattern Aware Scheduling on Grids.	ICPP	2006	DBLP DOI BibTeX RDF
11	Hakon O. Bugge	High availability MPIs - Exploring the importance of high availability MPIs.	SC	2006	DBLP DOI BibTeX RDF
11	Metin Ozkan, Inci Sariçiçek, Osman Parlaktuna, Servet Hasgül	Priority-Constrained Task Sequencing for Heterogeneous Mobile Robots.	IEA/AIE	2006	DBLP DOI BibTeX RDF
11	Leah Epstein, Magnús M. Halldórsson, Asaf Levin, Hadas Shachnai	Weighted Sum Coloring in Batch Scheduling of Conflicting Jobs.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
11	Spyridon Revithis, William H. Wilson, Nadine Marcus	IPSOM: A Self-organizing Map Spatial Model of How Humans Complete Interlocking Puzzles.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	Cognitive Modeling of Human Behaviour, Self-Organizing Map, Kohonen Map, Neural Network Applications
11	C. Richard Cassady, Erhan Kutanoglu	Integrating preventive maintenance planning and production scheduling for a single machine.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
11	Isar Stubbe	Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	quantaloid, ordered sheaf, enriched categorical structure, Cauchycompletion, locale, quantale
11	Vinay Kanitkar, Alex Delis	Efficient Processing of Client Transactions in Real-Time.	Distributed Parallel Databases	2005	DBLP DOI BibTeX RDF	real-time transaction scheduling, transaction-shipping, client-server databases
11	Yoshinori Kitatsuji, Katsuyuki Yamazaki, Hiroshi Koide, Masato Tsuru, Yuji Oie	Influence of Network Characteristics on Application Performance in a Grid Environment.	Telecommun. Syst.	2005	DBLP DOI BibTeX RDF	application-level performance, grid, distributed computing, resource allocation, traffic engineering
11	Seyoun Park, Xiaohu Guo, Hayong Shin, Hong Qin 0001	Shape and Appearance Repair for Incomplete Point Surfaces.	ICCV	2005	DBLP DOI BibTeX RDF
11	Yingyi Chu, Quanshi Xia	A Hybrid Algorithm for a Class of Resource Constrained Scheduling Problems.	CPAIOR	2005	DBLP DOI BibTeX RDF
11	Sam Bucolo, Mark Billinghurst, David Sickinger	User experiences with mobile phone camera game interfaces.	MUM	2005	DBLP DOI BibTeX RDF	tangible interfaces, mobile games, human interaction, mobile camera phones, novel interfaces
11	Amy Lynn Maroso	Innovative training solutions for digitization.	JCDL	2005	DBLP DOI BibTeX RDF	distance learning, teaching, scanning, digitization
11	Luigi Santocanale	Completions of µ-algebras.	LICS	2005	DBLP DOI BibTeX RDF
11	Tai-Chen Chen, Yao-Wen Chang	Multilevel full-chip gridless routing considering optical proximity correction.	ASP-DAC	2005	DBLP DOI BibTeX RDF
11	Michihiro Inoue, Noriaki Yoshiura, Yoshikuni Onozato	Effect of Mobility on Communication Performance in Overloaded One-Dimensional Cellular Networks.	ICDCIT	2005	DBLP DOI BibTeX RDF
11	Philip Lamb, Dean Owen	Human performance in space telerobotic manipulation.	VRST	2005	DBLP DOI BibTeX RDF	SRMS, user studies, telerobotics, frame of reference
11	Nicole Immorlica, Li (Erran) Li, Vahab S. Mirrokni, Andreas S. Schulz	Coordination Mechanisms for Selfish Scheduling.	WINE	2005	DBLP DOI BibTeX RDF
11	Arsalan Farrokh, Vikram Krishnamurthy	Optimal Threshold Policies for Operation of a Dedicated-Platform with Imperfect State Information - A POMDP Framework.	ECSQARU	2005	DBLP DOI BibTeX RDF	Partially Observable Markov Decision Process (POMDP), optimal threshold policies, Bellman equation, two-state Markov chain, overlook probability, dynamic programming, Hidden Markov Model (HMM), sufficient statistics, optimal search
11	Yuliya Lierler	cmodels - SAT-Based Disjunctive Answer Set Solver.	LPNMR	2005	DBLP DOI BibTeX RDF
11	Brian Henderson-Sellers, John K. Debenham, Quynh-Nhu Numi Tran, Massimo Cossentino, Graham Low	Identification of Reusable Method Fragments from the PASSI Agent-Oriented Methodology.	AOIS	2005	DBLP DOI BibTeX RDF
11	Fu-ming Li, Yunlong Zhu, Chaowan Yin, Xiao-yu Song	Fuzzy Programming for Multiobjective Fuzzy Job Shop Scheduling with Alternative Machines Through Genetic Algorithms.	ICNC (2)	2005	DBLP DOI BibTeX RDF
11	Yoshinori Kitatsuji, Satoshi Katsuno, Katsuyuki Yamazaki, Hiroshi Koide, Masato Tsuru, Yuji Oie	On the Influence of Network Characteristics on Application Performance in the Grid Environment.	ICN (1)	2005	DBLP DOI BibTeX RDF
11	Sung Chune Choi, Hee Yong Youn	Task Mapping Algorithm for Heterogeneous Computing System Allowing High Throughput and Load Balancing.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF	scheduling, load balancing, throughput, Heterogeneous computing, task mapping
11	Lucian Leahu, Carla P. Gomes	LP as a Global Search Heuristic Across Different Constrainedness Regions.	CP	2005	DBLP DOI BibTeX RDF
11	Archana Sekhar, B. S. Manoj 0001, C. Siva Ram Murthy	A State-Space Search Approach for Optimizing Reliability and Cost of Execution in Distributed Sensor Networks.	IWDC	2005	DBLP DOI BibTeX RDF
11	Ricky Robinson, Jadwiga Indulska	A Context-Sensitive Service Discovery Protocol for Mobile Computing Environments.	ICMB	2005	DBLP DOI BibTeX RDF
11	Eun-Gu Jung, Eonpyo Hong, Kyoung-Son Jhang, Jeong-A Lee, Dong-Soo Har	Self-timed Interconnect with Layered Interface Based on Distributed and Modularized Control for Multimedia SoCs.	PCM (1)	2005	DBLP DOI BibTeX RDF
11	Luca Becchetti, Stefano Leonardi 0001	Nonclairvoyant scheduling to minimize the total flow time on single and parallel machines.	J. ACM	2004	DBLP DOI BibTeX RDF	multilevel feedback, randomized algorithms, Probabilistic analysis, flow time
11	Reinder J. Bril, Elisabeth F. M. Steffens, Wim F. J. Verhaegh	Best-Case Response Times and Jitter Analysis of Real-Time Tasks.	J. Sched.	2004	DBLP DOI BibTeX RDF	best case, critical instant, optimal instant, real-time systems, response time, jitter, periodic tasks, preemptive scheduling, fixed priority
11	Haisang Wu, Binoy Ravindran, E. Douglas Jensen	Utility Accrual Scheduling under Joint Utility and Resource Constraints.	ISORC	2004	DBLP DOI BibTeX RDF
11	Lalitha Muthusubramaniam, Avinash Peddi, Yuan F. Zheng, Vadim Cherezov, Martin Caffrey	Automating Crystallization of Membrane Proteins by Robot with Soft Coordinate Measuring.	ICRA	2004	DBLP DOI BibTeX RDF
11	José R. Correa, Andreas S. Schulz	Single Machine Scheduling with Precedence Constraints: Extended Abstract.	IPCO	2004	DBLP DOI BibTeX RDF
11	Tarek A. AlEnawy, Hakan Aydin	On Energy-Constrained Real-Time Scheduling.	ECRTS	2004	DBLP DOI BibTeX RDF
11	Bora Uçar, Cevdet Aykanat	A Message Ordering Problem in Parallel Programs.	PVM/MPI	2004	DBLP DOI BibTeX RDF
11	Nisrine Saadallah, Xiaohua Kong, Radu Negulescu	High-Speed Reduced Stack Dual Lock Circuits.	ASYNC	2004	DBLP DOI BibTeX RDF
11	Haisang Wu, Binoy Ravindran, E. Douglas Jensen	On the Joint Utility Accrual Model.	IPDPS	2004	DBLP DOI BibTeX RDF
11	Jürgen Fründ, Jürgen Gausemeier, Carsten Matysczok, Rafael Radkowski	Using Augmented Reality Technology to Support the Automobile Development.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
11	Arkadiusz Tomczyk, Piotr S. Szczepaniak, B. Lis	Generalized Multi-layer Kohonen Network and Its Application to Texture Recognition.	ICAISC	2004	DBLP DOI BibTeX RDF
11	Sameer Kumar 0001, Laxmikant V. Kalé	Scaling All-to-All Multicast on Fat-tree Networks.	ICPADS	2004	DBLP DOI BibTeX RDF
11	Gail Corbitt, Lorraine R. Gardiner, Lauren K. Wright	A Comparison of Team Developmental Stages, Trust and Performance for Virtual versus Face-to-Face Teams.	HICSS	2004	DBLP DOI BibTeX RDF
11	Christopher Lynch	Unsound Theorem Proving.	CSL	2004	DBLP DOI BibTeX RDF
11	Nikhil Bansal 0001, Kirk Pruhs	Server Scheduling in the Weighted lp Norm.	LATIN	2004	DBLP DOI BibTeX RDF
11	Serge Mechveliani	From a Computer Algebra Library to a System with an Equational Prover.	AISC	2004	DBLP DOI BibTeX RDF	equational prover, term rewriting, computer algebra
11	David V. Keyson, Marc de Hoogh, Jans Aasman	Designing for pen and speech input in an object-action framework: the case of email.	Univers. Access Inf. Soc.	2003	DBLP DOI BibTeX RDF	generic actions, Webpad, navigation, user interface design, Multimodal interaction, objects, email, pen input, speech input
11	Hojung Cha, Rhan Ha, Jane W.-S. Liu	Experimental Analysis of Timing Validation Methods for Distributed Real-Time Systems.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	nonmigratable jobs, performance evaluation, validation, schedulability analysis, distributed real-time system
11	Botond Szatmáry, Gábor Szirtes, András Lörincz	Robust hierarchical image representation using non-negative matrix factorisation with sparse code shrinkage preprocessing.	Pattern Anal. Appl.	2003	DBLP DOI BibTeX RDF	Non-negative matrix Factorisation, Sparse code shrinkage, Hierarchy
11	T. C. Edwin Cheng, Mikhail Y. Kovalyov	Scheduling a Single Server in a Two-machine Flow Shop.	Computing	2003	DBLP DOI BibTeX RDF	AMS Subject Classifications: 90B35
11	Rossano Gaeta, Matteo Sereno, Daniele Manini	Stochastic Petri Nets Models for the Performance Analysis of TCP Connections Supporting Finite Data Transfer.	QoS-IP	2003	DBLP DOI BibTeX RDF
11	Sonia López, Oscar Garnica, José Ignacio Hidalgo, Juan Lanchares, Román Hermida	Power-Consumption RRRRreduction in Asynchronous Circuits Using Delay Path Unequalization.	PATMOS	2003	DBLP DOI BibTeX RDF
11	Nachum Dershowitz, Claude Kirchner	Abstract Saturation-Based Inference.	LICS	2003	DBLP DOI BibTeX RDF
11	Amy B. Woszczynski, Catherine M. Beise, Martha E. Myers, Janette Moody	Diversity and the information technology workforce: an examination of student perceptions.	CPR	2003	DBLP DOI BibTeX RDF
11	Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies	The New WALDMEISTER Loop at Work.	CADE	2003	DBLP DOI BibTeX RDF
11	Yaohang Li, Michael Mascagni	Improving Performance via Computational Replication on a Large-Scale Computational Grid.	CCGRID	2003	DBLP DOI BibTeX RDF
11	Seokwon Yang, Stanley Y. W. Su, Herman Lam	A Non-Repudiation Message Transfer Protocol for E-commerce.	CEC	2003	DBLP DOI BibTeX RDF
11	Peter S. Heck, Sumit Ghosh	The Design and Role of Synthetic Creative Traits in Artificial Ant Colonies.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	new performance metrics, qualitative behavior, creativity, energy, intelligence, ant colony, foraging, imagination, synthetic
11	Vinay Kanitkar, Alex Delis	Real-Time Processing in Client-Server Databases.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	real-time transaction processing, client-server databases, experimental performance evaluation
11	Ludmila Cherkasova, Peter Phaal	Session-Based Admission Control: A Mechanism for Peak Load Management of Commercial Web Sites.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Session-based web workload, overloaded web server, web QoS, adaptive control strategies, synthetic workload generator, simulation, performance analysis, admission control
11	Elaine Chou	Redesigning a large and complex website: how to begin, and a method for success.	SIGUCCS	2002	DBLP DOI BibTeX RDF	web services, internet, usability, communications, learning, accessibility, training, consistency, efficiency, automation, support, task analysis, information architecture, web site, just-in-time, needs assessment
11	Gang Luo 0001, Curt J. Ellmann, Peter J. Haas, Jeffrey F. Naughton	A scalable hash ripple join algorithm.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF	World Wide Web (WWW)
11	Francis Sourd	Preemptive Scheduling with Two Minimax Criteria.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	bicriteria, length of a schedule, preemptive scheduling, single-machine
11	J. Minkler, G. Minkler, Giles Richardson	Subcategories of Filter Tower Spaces.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	filter tower spaces, convergence approach spaces, T-regular sequences, completions, t-norm
11	Andrea E. F. Clementi, Angelo Monti, Riccardo Silvestri	Selective families, superimposed codes, and broadcasting on unknown radio networks.	SODA	2001	DBLP BibTeX RDF
11	Peter S. Heck, Sumit Ghosh	A Study of Synthetic Creativity through Behavior Modeling and Simulation of an Ant Colony.	ISADS	2001	DBLP DOI BibTeX RDF	Synthetic creative traits, ant colony, foraging
11	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	On a Tabling Engine That Can Exploit Or-Parallelism.	ICLP	2001	DBLP DOI BibTeX RDF	Tabling, Or-Parallelism, Parallel Logic Programming
11	Sven Oliver Krumke, Willem de Paepe, Diana Poensgen, Leen Stougie	News from the Online Traveling Repairman.	MFCS	2001	DBLP DOI BibTeX RDF
11	Sven Buchholz 0002, Alexander Schill, Thomas Ziegert	A simulation study of update techniques for cyclic data broadcast.	MSWiM	2001	DBLP DOI BibTeX RDF
11	Toon Calders, Jan Paredaens	Axiomatization of Frequent Sets.	ICDT	2001	DBLP DOI BibTeX RDF
11	Rong Xie, Daniela Rus, Clifford Stein 0001	Scheduling Multi-task Agents.	Mobile Agents	2001	DBLP DOI BibTeX RDF
11	Michaël Rusinowitch	Rewriting for Deduction and Verification.	RTA	2001	DBLP DOI BibTeX RDF
11	Luca Becchetti, Stefano Leonardi 0001	Non-clairvoyant scheduling to minimize the average flow time on single and parallel machines.	STOC	2001	DBLP DOI BibTeX RDF
11	Laurent D. Cohen, Thomas Deschamps	Multiple Contour Finding and Perceptual Grouping as a Set of Energy Minimizing Paths.	EMMCVPR	2001	DBLP DOI BibTeX RDF	salient curve detection, weighted distance, medical imaging, reconstruction, level sets, active contours, energy minimization, Perceptual grouping, minimal paths, fast marching
11	Praveen Holenarsipur, Vladimir Yarmolenko, José Duato, Dhabaleswar K. Panda 0001, P. Sadayappan	Characterization and enhancement of Static Mapping Heuristics for Heterogeneous Systems.	HiPC	2000	DBLP DOI BibTeX RDF	Scheduling for Heterogeneous Systems, Mapping Heuristics, Performance Evaluation, Cluster Computing, Heterogeneous Computing, Task Assignment
11	Mohammad Banikazemi, Bülent Abali, Dhabaleswar K. Panda 0001	Comparison and Evaluation of Design Choices for Implementing the Virtual Interface Architecture (VIA).	CANPC	2000	DBLP DOI BibTeX RDF
11	Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia	Free Schedules for Free Agents in Workflow Systems.	TIME	2000	DBLP DOI BibTeX RDF	multi-agent systems, temporal reasoning, temporal constraints, workflow systems
11	Benjamin W. Wah, Yi-Xin Chen 0001	Optimal Anytime Constrained Simulated Annealing for Constrained Global Optimization.	CP	2000	DBLP DOI BibTeX RDF
11	Reinhold Heckmann	Approximation of Metric Spaces by Partial Metric Spaces.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	generalised metric spaces, Scott topology, domains, preorder
11	Lars Lundberg, Håkan Lennerstad	Optimal Bounds on the Gain of Permitting Dynamic Allocation of Communication Channels in Distributed Computing.	Acta Informatica	1999	DBLP DOI BibTeX RDF
11	Peter P. Puschner, Alan Burns 0001	Time-constrained sorting-a comparison of different algorithms.	ECRTS	1999	DBLP DOI BibTeX RDF
11	A. C. Boud, David J. Haniff, Chris Baber, S. J. Steiner	Virtual Reality and Augmented Reality as a Training Tool for Assembly Tasks.	IV	1999	DBLP DOI BibTeX RDF	Virtual Reality, Augmented Reality, Training
11	Leah Epstein, Jirí Sgall	Approximation Schemes for Scheduling on Uniformly Related and Identical Parallel Machines.	ESA	1999	DBLP DOI BibTeX RDF
11	Jörgen Hansson, Sten F. Andler, Sang Hyuk Son	Value-Driven Multi-Class Overload Management.	RTCSA	1999	DBLP DOI BibTeX RDF	statistical skip scheduling, scheduling, overload management
11	Vinay Kanitkar, Alex Delis	Site Selection for Real-Time Client Request Handling.	ICDCS	1999	DBLP DOI BibTeX RDF	load-sharing techniques, real-time systems, client-server databases
11	Prashanth B. Bhat, Cauligi S. Raghavendra, Viktor K. Prasanna	Efficient Collective Communication in Distributed Heterogeneous Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	Information Power Grid, Collective Communication Algorithms, Multicast, Broadcast, Heterogeneous Networks
11	Dave Johnson 0003, Venkatesh Akella, Bret Stott	Micropipelined asynchronous discrete cosine transform (DCT/IDCT) processor.	IEEE Trans. Very Large Scale Integr. Syst.	1998	DBLP DOI BibTeX RDF
11	Wei Feng, Masashi Kowada, Kouichi Adachi	A two-queue model with Bernoulli service schedule and switching times.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	two parallel queues, Bernoulli service schedule, Riemann boundary value problem, analytic continuation, waiting time, generating function, stationary distribution