Search results for "assignments"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Norihisa Suzuki	Analysis of Pointer Rotation.	POPL	1980	DBLP DOI BibTeX RDF
26	D. G. McVitie, L. B. Wilson	The Stable Marriage Problem.	Commun. ACM	1971	DBLP DOI BibTeX RDF
24	Clifton Kussmaul	Scaffolding for multiple assignment projects in CS1 and CS2.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	multiple assignments, CS1, unit testing, CS2, scaffolding
24	Paul M. Mullins, Michael Conlon	Engaging students in programming fundamentals using alice 2.0.	SIGITE Conference	2008	DBLP DOI BibTeX RDF	it curricula, nifty assignments, programming fundamentals
24	Mark C. Lewis, Berna L. Massingill	Graphical game development in CS2: a flexible infrastructure for a semester long project.	SIGCSE	2006	DBLP DOI BibTeX RDF	java, game, object orientation, project, CS2, assignments
24	Stefan Andrei	Counting for Satisfiability by Inverting Resolution.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	counting truth assignments, algorithms, satisfiability
24	Joseph A. Turner, Joseph L. Zachary	Using course-long programming projects in CS2.	SIGCSE	1999	DBLP DOI BibTeX RDF	code maintenance, software engineering, education, CS2, programming assignments
24	Ramamohan Paturi, Pavel Pudlák, Francis Zane	Satisfiability Coding Lemma.	FOCS	1997	DBLP DOI BibTeX RDF	satisfying assignments, satisfying assignment, Satisfiability Coding Lemma, computability, randomized algorithm, satisfiability, deterministic algorithm, conjunctive normal form, Boolean formulae
24	Javier Orozco, Ricardo Cayssials, Jorge Santos 0002, Edgardo Ferro	Precedence constraints in hard real-time distributed systems.	ICECCS	1997	DBLP DOI BibTeX RDF	hard real-time distributed systems, multitask-multiprocessor systems, taxonomic genus, tentative assignment, formally proved method, tentative assignments, real-time systems, NP-complete problem, precedence constraints
24	George C. Lai, Rui J. P. de Figueiredo	Image interpretation using contextual feedback.	ICIP	1995	DBLP DOI BibTeX RDF	contextual feedback, bottom-up decision making, top-down decision making, OINN, optimal interpolative neural networks, label assignments, image segmentation, interpolation, feedback, feedback, iterative methods, identification, neural nets, decision theory, scene analysis, image interpretation, plausibility, high-level description
24	Sourav Bhattacharya, Aloke Guha, Allalaghatta Pavan, David Hung-Chang Du	Optimal multihop routing. An iterative approach to TWDM embedding.	LCN	1995	DBLP DOI BibTeX RDF	TWDM embedding, time-wave division multiplexed, lightwave networks, time slot assignments, graph unfolding, routing delay, performance, wavelength division multiplexing, telecommunication network routing, time division multiplexing, weighted graphs, optimal routing, shortest path routing, optical fibre LAN, multihop routing, iterative approach
24	Wesley W. Chu, Chi-Man Sit, Kin K. Leung	Task Response Time For Real-Time Distributed Systems With Resource Contentions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	task response times, extended queuing network model, module response times, weighted control-flow graph model, task response time, invocation rates, module assignments, real-time systems, computational complexity, computational complexity, graph theory, resource allocation, distributed processing, queueing theory, analytic model, simulation results, interprocessor communications, scheduling policies, resource contentions, decomposition technique, real-time distributed systems, submodels, distributed processing systems
24	Douglas W. Cornell, Philip S. Yu	On Optimal Site Assignment for Relations in the Distributed Database Environment.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	relation assignment, joint site determination, query decomposition, average response minimization, optimal site assignment, distributed database environment, joint operations, multiple sites, query descriptions, arrival frequency, relation steps, site assignments, linear integer programming technique, intersystem communication, balancing resource utilizations, information retrieval, linear programming, distributed databases, relations, heuristic programming, resource constraints, heuristic technique
20	Fanglei Sun, Victor O. K. Li, Zhifeng Diao	Modified bipartite matching for multiobjective optimization: Application to antenna assignments in MIMO systems.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
20	Klaus Wannemacher	Articles as Assignments - Modalities and Experiences of Wikipedia Use in University Courses.	ICWL	2009	DBLP DOI BibTeX RDF	Information Com petency, Web 2.0, Wikipedia, Web-Based Learning, Teaching Strategies, Media Literacy, Constructivist Learning
20	Mohamed Ayman Boujelben, Yves De Smet, Ahmed Frikha 0003, Habib Chabchoub	The First Belief Dominance: A New Approach in Evidence Theory for Comparing Basic Belief Assignments.	ADT	2009	DBLP DOI BibTeX RDF	First belief dominance, Evidence theory
20	Olly Gotel, Christelle Scharff, Andrew Wildenberg	Teaching software quality assurance by encouraging student contributions to an open source web-based system for the assessment of programming assignments.	ITiCSE	2008	DBLP DOI BibTeX RDF	automated assessment systems, webwork, java, requirements, programming, open source, unit testing, peer review, software quality assurance, junit
20	Stephen H. Edwards, Manuel A. Pérez-Quiñones	Web-CAT: automatically grading programming assignments.	ITiCSE	2008	DBLP DOI BibTeX RDF	manual grading, evaluation, feedback, assessment, marking, programming assignment, automated grading
20	Fabio Cuzzolin	Alternative Formulations of the Theory of Evidence Based on Basic Plausibility and Commonality Assignments.	PRICAI	2008	DBLP DOI BibTeX RDF
20	Rashid Bin Muhammad	Transmitting Range Assignments Using Steiner Tree in Ad Hoc Wireless Networks.	ITNG	2008	DBLP DOI BibTeX RDF
20	Ewa Straszecka	Combining Basic Probability Assignments for Fuzzy Focal Elements.	ICAISC	2008	DBLP DOI BibTeX RDF
20	Laura Kovács	Invariant Generation for P-Solvable Loops with Assignments.	CSR	2008	DBLP DOI BibTeX RDF
20	Paul El Khoury, Emmanuel Coquery, Mohand-Said Hacid	Consistency checking of role assignments in inter-organizational collaboration.	SPRINGL	2008	DBLP DOI BibTeX RDF	bridge rules, role based access control, description logic, roles, inter-organizational
20	Takayuki Sato, Kazuyuki Amano, Eiji Takimoto, Akira Maruoka	Monotone DNF Formula That Has a Minimal or Maximal Number of Satisfying Assignments.	COCOON	2008	DBLP DOI BibTeX RDF
20	Andrea Montanari, Devavrat Shah	Counting good truth assignments of random k-SAT formulae.	SODA	2007	DBLP BibTeX RDF
20	Fei Xiong, Chris Bailey-Kellogg	A Hierarchical Grow-and-Match Algorithm for Backbone Resonance Assignments Given 3D Structure.	BIBE	2007	DBLP DOI BibTeX RDF
20	Chris Steketee, Phillip Lock	Software Assignments for a Course in Secure E-Commerce.	World Conference on Information Security Education	2007	DBLP DOI BibTeX RDF
20	Xuejun Liang	A Survey of Hands-on Assignments and Projects in Undergraduate Computer Architecture Courses.	SCSS (1)	2007	DBLP DOI BibTeX RDF
20	Marijn Heule, Hans van Maaren	From Idempotent Generalized Boolean Assignments to Multi-bit Search.	SAT	2007	DBLP DOI BibTeX RDF
20	Mario Köppen, Kaori Yoshida	Substitute Distance Assignments in NSGA-II for Handling Many-objective Optimization Problems.	EMO	2007	DBLP DOI BibTeX RDF
20	R. G. V. Baker, D. C. Marshall	Modelling gambling time and economic assignments to weekly trip behaviour to gambling venues.	J. Geogr. Syst.	2005	DBLP DOI BibTeX RDF	Gambling behaviour, Gambling involvement, Time-economic modelling, Memoryless distributions, Venue hours
20	Jerzy Balicki	Immune Systems in Multi-criterion Evolutionary Algorithm for Task Assignments in Distributed Computer System.	AWIC	2005	DBLP DOI BibTeX RDF
20	Jerrold R. Griggs, Xiaohua Teresa Jin	Optimal Channel Assignments for Lattices with Conditions at Distance Two.	IPDPS	2005	DBLP DOI BibTeX RDF
20	Vincent Ng 0002, Boris Y. L. Chan	Quality Assignments for WSDL-Based Services.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
20	Thomas Phan, Kavitha Ranganathan, Radu Sion	Evolving Toward the Perfect Schedule: Co-scheduling Job Assignments and Data Replication in Wide-Area Systems Using a Genetic Algorithm.	JSSPP	2005	DBLP DOI BibTeX RDF
20	Atsushi Fujita, Kentaro Inui, Yuji Matsumoto 0001	Detection of Incorrect Case Assignments in Paraphrase Generation.	IJCNLP	2004	DBLP DOI BibTeX RDF
20	Piotr Juszczak, Robert P. W. Duin	Selective Sampling Based on the Variation in Label Assignments.	ICPR (3)	2004	DBLP DOI BibTeX RDF
20	Jerzy Balicki	Multi-criterion Evolutionary Algorithm with Model of the Immune System to Handle Constraints for Task Assignments.	ICAISC	2004	DBLP DOI BibTeX RDF
20	Peerasit Patanakul, Dragan Z. Milosevic, Timothy R. Anderson 0002	Criteria for Project Assignments in Multiple-Project Environments.	HICSS	2004	DBLP DOI BibTeX RDF
20	Ray Giguette	Pre-games: games designed to introduce CS1 and CS2 programming assignments.	SIGCSE	2003	DBLP DOI BibTeX RDF	visualization, data structures, pedagogy, CS1, CS2
20	Vladimir V. Shakhov, Hyunseung Choo	Analytical Approach for Channel Assignments in Cellular Networks.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
20	Tassos Dimitriou	A Wealth of SAT Distributions with Planted Assignments.	CP	2003	DBLP DOI BibTeX RDF
20	John Minor Ross	Guiding students through programming puzzles: value and examples of Java game assignments.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
20	Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström	Counting Satisfying Assignments in 2-SAT and 3-SAT.	COCOON	2002	DBLP DOI BibTeX RDF
20	Kazuo Iwama, Suguru Tamaki	Exploiting Partial Knowledge of Satisfying Assignments.	WAE	2001	DBLP DOI BibTeX RDF
20	Tony Greening	Students seen flocking in programming assignments.	ITiCSE	2000	DBLP DOI BibTeX RDF
20	Blaine A. Price, Marian Petre	Teaching programming through paperless assignments: an empirical evaluation of instructor feedback.	ITiCSE	1997	DBLP DOI BibTeX RDF
20	Lam For Kwok, W. T. Lau, Siu Cheung Kong	An intelligent decision support system for teaching duty assignments.	ANZIIS	1996	DBLP DOI BibTeX RDF
20	Stephen Weeks, Matthias Felleisen	On the Orthogonality of Assignments and Procedures in Algol.	POPL	1993	DBLP DOI BibTeX RDF	ALGOL-60, ALGOL
20	David F. Haas, Leslie J. Waguespack	Sizing assignments: a contribution from software engineering to computer science education.	SIGCSE	1989	DBLP DOI BibTeX RDF
20	Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan	Distributed constraint satisfaction with partially known constraints.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Distributed CSPs, Asynchronous search, Privacy, Entropy
20	Maryam Karimzadehgan, ChengXiang Zhai	Constrained multi-aspect expertise matching for committee review assignment.	CIKM	2009	DBLP DOI BibTeX RDF	review assignment, algorithms, combinatorial optimization, topic models
20	Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagiv	Generalizing DPLL to Richer Logics.	CAV	2009	DBLP DOI BibTeX RDF
20	Alessandro Colantonio, Roberto Di Pietro, Alberto Ocello, Nino Vincenzo Verde	Mining Stable Roles in RBAC.	SEC	2009	DBLP DOI BibTeX RDF
20	Ben Stephenson	Using python and QuickDraw to foster student engagement in CS1.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	graphical projects, computer science education, pedagogy, CS1, python, student engagement
20	James Gross	Admission control based on OFDMA channel transformations.	WOWMOM	2009	DBLP DOI BibTeX RDF
20	Freddy Lécué, Alexandre Delteil, Alain Léger	Extending Web Service Composition Languages with Semantic Data Flow.	ICSC	2009	DBLP DOI BibTeX RDF
20	Mario Frank 0001, David A. Basin, Joachim M. Buhmann	A class of probabilistic models for role engineering.	CCS	2008	DBLP DOI BibTeX RDF	clustering, machine learning, RBAC, role mining
20	Daniel M. Yellin, Jorge Buenabad Chávez, Norman W. Paton	Probabilistic adaptive load balancing for parallel queries.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
20	Mario Amelung, Peter Forbrig, Dietmar F. Rösner	Towards generic and flexible web services for e-assessment.	ITiCSE	2008	DBLP DOI BibTeX RDF	web services, e-learning, web-based systems, cs1/2, e-assessment, computer-assisted assessment
20	Nicholas Freitag McPhee, Riccardo Poli	Memory with memory: soft assignment in genetic programming.	GECCO	2008	DBLP DOI BibTeX RDF	linear GP, memory with memory, soft assignment, genetic programming, symbolic regression
20	Jean-Yves Marion, Romain Péchoux	Characterizations of polynomial complexity classes with a better intensionality.	PPDP	2008	DBLP DOI BibTeX RDF	quasi-interpretation, resource upper bounds, sup-interpretation, static analysis
20	Qi Li 0002, Mingwei Xu, Xinwen Zhang	Towards a Group-Based RBAC Model and Decentralized User-Role Administration.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
20	Shakeel Ahmed Khoja, Faisal Sana, Abid Karim, Arif Ali Rehman	Implementing Constructivist Pedagogical Model in Dynamic Distance Learning Framework.	IMTIC	2008	DBLP DOI BibTeX RDF	Constructivist theory, Pedagogies, Problem Based Learning, E-learning Systems
20	Carol Edmondson	How to fail a programming assignment.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	humour, computing education, programming assignment
20	Anton Alstes, Janne Lindqvist	VERKKOKE: learning routing and network programming online.	ITiCSE	2007	DBLP DOI BibTeX RDF	routing, programming, learning environment
20	Diana Cukierman, Donna McGee Thompson	Learning strategies sessions within the classroom in computing science university courses.	ITiCSE	2007	DBLP DOI BibTeX RDF	pedagogy
20	Markus Stolze, Kuo Zhang, Ying Huang, Noi Sukaviriya, Brian White Eagle, Jim Laredo	The Stakeholder Matrix: Supporting the Modeling of Responsibility in Situation-Oriented Directories.	CEC/EEE	2007	DBLP DOI BibTeX RDF
20	Richard J. Wallace, Nic Wilson	Conditional Lexicographic Orders in Constraint Satisfaction Problems.	CPAIOR	2006	DBLP DOI BibTeX RDF
20	Peter DeRosa, Kai Shen, Christopher Stewart, Jonathan Pearson	Realism and simplicity: disk simulation for instructional OS performance evaluation.	SIGCSE	2006	DBLP DOI BibTeX RDF	disk simulation, performance evaluation, virtual machine, operating systems
20	Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli	Composition of Use Cases Using Synchronization and Model Checking.	FORTE	2006	DBLP DOI BibTeX RDF	synchronized product, model checking, Use cases, composition operators
20	Lincong Wang, Bruce Randall Donald	An Efficient and Accurate Algorithm for Assigning Nuclear Overhauser Effect Restraints Using a Rotamer Library Ensemble and Residual Dipolar Couplings.	CSB	2005	DBLP DOI BibTeX RDF
20	Brian Hanks, Charlie McDowell, David Draper, Milovan Krnjajic	Program quality with pair programming in CS1.	ITiCSE	2004	DBLP DOI BibTeX RDF	student perception, collaboration, CS1, pair programming
20	Jeffrey L. Popyack, Nira Herrmann, Paul Zoski, Bruce W. Char, Christopher D. Cera, Robert N. Lass	Academic dishonesty in a high-tech environment.	SIGCSE	2003	DBLP DOI BibTeX RDF	academic dishonesty, tools, detection, cheating, plagiarism
20	Song Chen 0001, Xianlong Hong, Sheqin Dong, Yuchun Ma, Yici Cai, Chung-Kuan Cheng, Jun Gu	Evaluating a bounded slice-line grid assignment in O(nlogn) time.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
20	Ahmet Ünveren, Adnan Acan	An Evolutionary Constraint Satisfaction Solution for over the Cell Channel Routing.	GCC (2)	2003	DBLP DOI BibTeX RDF
20	Tim Roughgarden	How unfair is optimal routing?	SODA	2002	DBLP BibTeX RDF
20	Karen Zee, Martin C. Rinard	Write barrier removal by static analysis.	OOPSLA	2002	DBLP DOI BibTeX RDF	program analysis, pointer analysis, write barriers, generational garbage collection
20	Benjamin Farber, Kenneth Zeger	Quantizers with Uniform Encoders and Channel Optimized Decoders.	DCC	2002	DBLP DOI BibTeX RDF	point density function, quantization asymptotics, source channel coding
20	Grant Braught, David W. Reed	Disequilibration for teaching the scientific method in computer science.	SIGCSE	2002	DBLP DOI BibTeX RDF
20	Stefanie Gerke, Colin McDiarmid	Channel Assignment with Large Demands.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	graph imperfection, clique-bounds, channel assignment
20	Joel L. Wolf, Philip S. Yu	Load balancing for clustered web farms.	SIGMETRICS Perform. Evaluation Rev.	2001	DBLP DOI BibTeX RDF
20	Edward F. Gehringer	Electronic peer review and peer grading in computer-science courses.	SIGCSE	2001	DBLP DOI BibTeX RDF	WEB
20	Concepció Roig, Ana Ripoll, Miquel A. Senar, Fernando Guirado, Emilio Luque	Exploiting Knowledge of Temporal Behaviour in Parallel Programs for Improving Distributed Mapping.	Euro-Par	2000	DBLP DOI BibTeX RDF
20	Ram Ramanathan	A unified framework and algorithm for channel assignment in wireless networks.	Wirel. Networks	1999	DBLP DOI BibTeX RDF
20	Catherine C. Bareiss	A semester project for CS1.	SIGCSE	1996	DBLP DOI BibTeX RDF
20	Yanbing Xu, Mostafa I. H. Abd-El-Barr, Carl McCrosky	Graph-based output phase assignment for PLA minimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
20	Ronald E. Wilson	Integrating a breadth-first curriculum with relevant programming projects in CS1/CS2.	SIGCSE	1995	DBLP DOI BibTeX RDF	Ada
20	Jung Hwan Kim, Phill-Kyu Rhee	A resource-efficient reconfiguration algorithm of VLSI 2-D processor arrays.	J. VLSI Signal Process.	1992	DBLP DOI BibTeX RDF
18	Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup	Minimizing dependencies within generic classes for faster and smaller programs.	OOPSLA	2009	DBLP DOI BibTeX RDF	generalized hoisting, scary assignments and initializations, generics, templates
18	Inna Pivkina, Desh Ranjan, Jerry Lodder	Historical sources as a teaching tool.	SIGCSE	2009	DBLP DOI BibTeX RDF	historical sources, algorithms, pedagogy, projects, assignments, discrete mathematics
18	Mark Lewis, Scott T. Leutenegger, Michael Panitz, Kelvin Sung, Scott A. Wallace	Introductory programming courses and computer games.	SIGCSE	2009	DBLP DOI BibTeX RDF	assignments., games, introductory programming courses
18	Hemant K. Singh, Amitay Isaacs, Tapabrata Ray, Warren F. Smith	An improved secondary ranking for many objective optimization problems.	GECCO	2009	DBLP DOI BibTeX RDF	substitute distance assignments, optimization, many objective optimization
18	Trevor P. Martin, Yun Shen, Ben Azvine	Granular Association Rules for Multiple Taxonomies: A Mass Assignment Approach.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	mass assignments, iPHI, semantic web, association rules, hierarchies, Fuzzy, granules
18	M. Teresa Higuera-Toledano	Making stronger and flexible the single parent rule in the real-time specification of Java.	JTRES	2008	DBLP DOI BibTeX RDF	illegal assignments, reference-counting collection, scoped-regions, single parent rule, real-time Java, write-barriers
18	M. Teresa Higuera-Toledano	Towards a Revision of the Single Parent Rule in Real-Time Java, Maintaining the RTSJ Programming Model.	CIT	2006	DBLP DOI BibTeX RDF	Scoped-regions, Single parent rule, Illegal assignments, Garbage collection, Real-time Java, Write-barriers
18	John Aycock, Jim Uhl	Choice in the classroom.	ACM SIGCSE Bull.	2005	DBLP DOI BibTeX RDF	contract grading, due dates, deadlines, assignments
18	Sandria N. Kerr	A big-O experiment: which function is it?	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	big-O, laboratory assignments, computer science education, runtime analysis
18	Robert M. Harlan, Shelley McClarigan	Creating emergent behaviors: two robotics labs that combine reactive behaviors.	SIGCSE	2005	DBLP DOI BibTeX RDF	robotics laboratory assignments, emergent behavior, behavior-based robotics
18	Nick Parlante, David B. Levine, Steven K. Andrianoff, Aaron J. Gordon, Alyce Brady, Pamela A. Cutter, Paul Kube, Jefferson Ng, Richard E. Pattis	Nifty assignment.	SIGCSE	2005	DBLP DOI BibTeX RDF	education, object oriented programming, pedagogy, library, repository, assignments, examples, nifty, homeworks