Search results for "clarity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Jianjun Oung, Meera Sitharam, Brandon Moro, Adam Arbree	FRONTIER: fully enabling geometric constraints for feature-based modeling and assembly.	Symposium on Solid Modeling and Applications	2001	DBLP DOI BibTeX RDF
10	Werner Buchholz	Comments, Queries, and Debates: Computers in Russia, The US View.	IEEE Ann. Hist. Comput.	2000	DBLP DOI BibTeX RDF
10	Werner Buchholz	Comments, Queries, and Debates.	IEEE Ann. Hist. Comput.	2000	DBLP DOI BibTeX RDF
10	James E. Tomayko	Anecdotes.	IEEE Ann. Hist. Comput.	2000	DBLP DOI BibTeX RDF
10	Tee Yong Chew, Martin Henz, Ka Boon Ng	A Toolkit for Constraint-Based Inference Engines.	PADL	2000	DBLP DOI BibTeX RDF
10	John N. Zigman, Stephen M. Blackburn, J. Eliot B. Moss	TMOS: A Transactional Garbage Collector.	POS	2000	DBLP DOI BibTeX RDF
10	Shane G. Henderson	Mathematics and hybrid modeling: mathematics for simulation.	WSC	2000	DBLP DOI BibTeX RDF
10	Luigi Buglione, Alain Abran	QFD: A Different Way to Measure Software Quality.	IWSM	2000	DBLP DOI BibTeX RDF
10	Pedro J. Zufiria, A. Vázquez-López, J. Riesco-Prieto, Jorge Aguilera 0001, Leocadio Hontoria	A Neural Network Approach for Generating Solar Irradiation Artificial Series.	IWANN (2)	1999	DBLP DOI BibTeX RDF
10	Thierry M. Bernard, Antoine Manzanera	Improved Low Complexity Fully Parallel Thinning Algorithm.	ICIAP	1999	DBLP DOI BibTeX RDF
10	Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood	Evaluating a Visualization of Image Similarity as a Tool for Image Browsing.	INFOVIS	1999	DBLP DOI BibTeX RDF
10	Alfred Inselberg, Tova Avidan	The Automated Multidimensional Detective.	INFOVIS	1999	DBLP DOI BibTeX RDF
10	Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil	Modeling Resources for Activity Coordination and Scheduling.	COORDINATION	1999	DBLP DOI BibTeX RDF
10	Mel Ó Cinnéide, Paddy Nixon	A Methodology for the Automated Introduction of Design Patterns.	ICSM	1999	DBLP DOI BibTeX RDF
10	Lin Hong, Yifei Wan, Anil K. Jain 0001	Fingerprint Image Enhancement: Algorithm and Performance Evaluation.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	performance evaluation, Biometrics, fingerprint, Gabor filters, enhancement, minutiae
10	Paolo Tiribelli	An integrated methodological approach to TLC software development.	NOMS	1998	DBLP DOI BibTeX RDF
10	Mitchell M. Tseng, Chuan-Jun Su, Qinhai Ma	Accountability Centered Approach to Business Process Reengineering.	HICSS (4)	1998	DBLP DOI BibTeX RDF	Business process reengineering(BPR), Accountability Process design approach, Function requirement
10	Susan Reiblein, Andy Symons	SPI: "I can't get no satisfaction" - directing process improvement to meet business needs.	Softw. Qual. J.	1997	DBLP DOI BibTeX RDF	business process improvement (BPI), IT strategy determination, software quality, software process improvement (SPI), continuous process improvement
10	Antonio Bahamonde, Enrique A. de la Cal, José Ranilla, Jaime Alonso	Self-Organizing Symbolic Learned Rules.	IWANN	1997	DBLP DOI BibTeX RDF
10	Olin Shivers	Automatic Management of Operating System Resources.	ICFP	1997	DBLP DOI BibTeX RDF
10	Steven O. Kimbrough	On Electronic Commerce, Subatomic Semantics and Caesar's Stabbing.	HICSS (4)	1997	DBLP DOI BibTeX RDF
10	Werner Buchholz	Comments, Queries, and Debate.	IEEE Ann. Hist. Comput.	1996	DBLP DOI BibTeX RDF
10	Werner Buchholz	Comments, Queries, and Debate.	IEEE Ann. Hist. Comput.	1996	DBLP DOI BibTeX RDF
10	Harald Rueß, Natarajan Shankar, Mandayam K. Srivas	Modular Verification of SRT Division.	CAV	1996	DBLP DOI BibTeX RDF
10	Haruo Hosoya, Naoki Kobayashi 0001, Akinori Yonezawa	Partial Evaluation Scheme for Concurrent Languages and Its Correctness.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
10	Charles Wiles, Michael Brady 0001	On the Appropriateness of Camera Models.	ECCV (2)	1996	DBLP DOI BibTeX RDF
10	Jon Christensen, Joe Marks, Stuart M. Shieber	An Empirical Study of Algorithms for Point-Feature Label Placement.	ACM Trans. Graph.	1995	DBLP DOI BibTeX RDF	automated cartography, simulated annealing, heuristic search, stochastic methods, label placement
10	Waseem Naqvi, Mohamed T. Ibrahim	EECA: An Active Knowledge Model.	DEXA	1994	DBLP DOI BibTeX RDF	event specification, EECA, object-orientated, knowledge model, active database
10	Robert D. Cameron	Extending Context-Free Grammars with Permutation Phrases.	LOPLAS	1993	DBLP DOI BibTeX RDF	free-order construct, permutation phrase, context-free grammar
10	Peter Pepper, Jürgen Exner, Mario Südholt	Functional Development of Massively Parallel Programs (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
10	Brigitte Biebow, Guy Chaty	A Comparison between Conceptual Graphs and KL-ONE.	ICCS	1993	DBLP DOI BibTeX RDF
10	Robert Bernecky	The Role of APL and J in High-Performance Computation.	APL	1993	DBLP DOI BibTeX RDF	APL, FORTRAN
10	Arthur G. Ryman	Illuminating software specifications.	CASCON	1993	DBLP BibTeX RDF
10	Barry Richards, Yuejun Jiang, H. Choi	On Interval-based Temporal Planning: An IQ Strategy.	ISMIS	1991	DBLP DOI BibTeX RDF	Qualification Problem, Interval Principle, Collapsing and Stretching/Clipping, Temporal Logics, Planning, Constraint Satisfaction, Points, Actions, Intervals, Maximal, Frame Problem
10	Brian D. Marsh, Michael L. Scott, Thomas J. LeBlanc, Evangelos P. Markatos	First-Class User-Level Theads.	SOSP	1991	DBLP DOI BibTeX RDF
10	David W. Reed, Donald W. Loveland, Bruce T. Smith	The Near-Horn Approach to Disjunctive Logic Programming.	ELP	1991	DBLP DOI BibTeX RDF
10	Judy M. Bishop	The Effect of Data Abstraction on Loop Programming Techniques.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	loop programming techniques, loop algorithms, generic sorting routine, generic data types, software engineering, data structures, Ada, generators, abstract data types, iterator, data abstraction
10	R. D. Purdy	Knowledge and Tools in Building GRANDJUR 1.1.	ICAIL	1989	DBLP DOI BibTeX RDF
10	Stephen M. Mansour	Techniques for Avoiding Conditional Execute in APL2.	APL	1989	DBLP DOI BibTeX RDF	APL
10	Andrew Csinger, David Poole 0001	From Utterance to Belief via Presupposition: Default Logic in User-Modelling.	KBCS	1989	DBLP DOI BibTeX RDF
10	Eugene E. McDonnell	Life: Nasty, Brutish, and Short.	APL	1988	DBLP DOI BibTeX RDF	APL
10	Philip Wadler	Views: A Way for Pattern Matching to Cohabit with Data Abstraction.	POPL	1987	DBLP DOI BibTeX RDF
10	Judith D. Wilson	Entity-relationship diagrams and English: an analysis of some problems encountered in a database design course.	SIGCSE	1987	DBLP DOI BibTeX RDF
10	Norman D. Thomson	APL2 - a very superior Fortran.	APL	1987	DBLP DOI BibTeX RDF	APL
10	Howard A. Peelle	An APL idiom inventory.	APL	1987	DBLP DOI BibTeX RDF	APL
10	Russell L. Kahn	Improving Systems Documentation Using an Online Copy Editor.	SIGDOC	1985	DBLP DOI BibTeX RDF	UNIX
10	Robert Paige	Transformational Programming - Applications to Algorithms and Systems.	POPL	1983	DBLP DOI BibTeX RDF
10	C. S. Sankar	A method to document data entry forms.	SIGDOC	1983	DBLP DOI BibTeX RDF
10	Lindsay Groves	Using Simple English Sentences to Call Procedures.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
10	Karen Strain, Harold C. Grossman	The synergy of functional programming and very large scale integration.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF
10	Hajime Enomoto, Naoki Yonezaki, Isao Miyamura, Masayuki Sunuma	A parallel programming language and description of scheduler.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF
10	Marian Boykan Pour-El	Computer Science And Recursion Theory.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
10	Peter Naur	Program translation viewed as a general data processing problem.	Commun. ACM	1966	DBLP DOI BibTeX RDF