Category:Paper

From BibNetWiki

List of all papers in the database.

See also:

• list of scientists in the database
• Papers by year

	Top  ·  0-9  ·  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

(previous 200) (next 200)

Articles in category "Paper"

There are 200 articles in this category.

' ''...And Nothing Else Changes'': The Frame Problem in Procedure Specifications ''A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs ''Active Server'' Model for the Performance of Parallel Programs Written Using Rendezvous ''Agency Scheduling'' - A Model for Dynamic Task Scheduling ''As Time Goes By'' - Using Time Series Based Decision Tree Induction to Analyze the Behaviour of Opponent Players ''As We May Think?'': Psychological Considerations in the Design of a Personal Filing System ''Balls into Bins'' - A Simple and Tight Analysis ''Bay Zero'' simulation explores methodology of mixed blocked/evented-related functional MRI experiments ''Beijing Frowns and Washington Pays Close Attention'' Computer Processing of Relations between Geographical Proper Names in Foreign Affairs ''Blob'' Analysis of Biomedical Image Sequences - A Model-Based and an Inductive Approach ''Bonkers''. Increasing Literacy Skills: An Eclectic Electronic Teaching Approach Gone ''Bonkers'' ''CAM-BRAIN'' ATR's Billion Neuron Artificial Brain Project - A Three Year Progress Report ''Classical'' Programming-with-Proofs in lambda0s0y0mPA: An Analysis of Non-confluence ''Confessio Amantis'' ''Continuous'' Multifunctions in Discrete Spaces with Applications to Fixed Point Theory ''Deco'' polyominoes, permutations and random generation ''Delayability'' in Proofs of Strong Normalizability in the Typed Lambda Calculus ''Equal opportunity'' PD using PICTIVE ''Error-Free'' Calculation of the Convolution Using Generalized Mersenne and Fermat Transforms over Algebraic Fields ''Favourite'' SQL-Statements - An Empirical Analysis of SQL-Usage in Commercial Applications ''Fill-in-the-Form'' Programming ''Filmification'' of Methods and Film Databases ''Finding and Reminding'' Reconsidered ''Fish and sink'': An anytime-algorithm to retrieve adequate cases ''Formal Methods'' Technology Transfer Will Fail ''Gamma-Accurate'' Failure Detectors ''Gold Standard'' 2Dslash 3D Registration of X-Ray to CT and MR Images ''Good'' Graphic Interfaces for ''Good'' Idea Organizers ''Got COCA?'' A New Perspective in Building Electronic Meeting Systems ''Homeostatic'' Control of Imbalanced Strange Attractors with or without Asking to a Change in Chaotic Dynamics ''Humane'' Interfaces to Improve the Usability of Data Clearinghouses ''In Silico'' Experiments on Heavy Metal Sorption by Algal Biomass ''Indirect Discourse Proofs'': Achieving Efficient Fair Off-Line E-cash ''Intelligent'' Telepresence: Introducing Virtual Reality in Advanced Robots ''Just-in-Place'' Information for Mobile Device Interfaces ''Left Shoulder'' Detection in Korea Composite Stock Price Index Using an Auto-Associative Neural Network ''Look Ma, No Hashing, and No Arrays Neither'' ''Magic mirror on the wall, who's the fastest Database of them all?'' A Survey of Database Benchmarks ''Maximal-Munch'' Tokenization in Linear Time ''Meaning'' through Clustering by Self-Organisation of Spatial and Temporal Information ''Methodology Standards: Help or Hindrance?'' Held At OOPSLA 94 October 1994, Portland, Oregon: Report on Panel ''Mix and Match'' Media Servers ''Modular Regression Testing'': Connections to Component-Based Software ''NewsReader'' - A Comfortable-Digital Newspaper and Bookreading System ''Not Impossible'' vs. ''Guaranteed Possible'' in Fusion and Revision ''Not Waving but Drowning.'': representation schemes for modelling software development ''Objects'' and the Design of Timbral Resources ''Occursus Cum Novo'' - Computer Animation by Ray Tracing in a Network ''Occursus Cum Novo'' - Tools for Efficient Photo-Realistic Computer Animation ''Of course it's true: I saw it on the Internet!'': critical thinking in the Internet era ''On the fly'' Verification of Behavioural Equivalences and Preorders ''On-the-Fly'' Solution Techniques for Stochastic Petri Nets and Extensions ''Optimal'' Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics ''Optimal'' Parallelism through Integration of Data and Control Parallelism: A Case Study in Complete Parallelization ''Paramita wisdom'' password authentication scheme without verification tables ''Production Cell'': A Comparative Study in Formal Specification and Verification ''Profit by Safety'' or Quackery in Biomedical Information Technology? ''Pseudo-Random'' Number Generation within Cryptographic Algorithms: The DSS Case ''Real World'' as an Argument for Covariant Specialization in Programming and Modeling ''Reducing'' sc classic to Practice: Knowledge Representation Theory Meets Reality ''RelieF'' - Herstellung von tastbaren Bildvorlagen fur blinde oder sehbehinderte Personen ''Representing and Enacting the Software Process'': Proceedings of the 4th International Software Process Workshop ''S'' As a Programming Environment for Data Analysis and Graphics ''SGP'' - A simple graphics package ''Seeing'' Objects in Spatial Datasets ''Sometime'' Is Sometimes ''Not Never'': On the Temporal Logic of Programs

' cont. ''Sometimes'' and ''Not Never'' Revisited: On Branching Versus Linear Time ''Supernodes'' in Networks Employing Spread Spectrum with Code Division Multiple Access ''Syntactic'' AC-Unification ''The Big Sweep'': On the Power of the Wavefront Approach to Voronoi Diagrams ''The End of The (Dreyfus) Affair'': (Post)Heideggerian Meditations on Man, Machine, and Meaning ''To be of one's own time'': High-tech meets tradition in computer graphics art ''Today's Talking Typewriter'' Supporting Early Literacy in a Classroom Environment ''Type-Completeness'' as a Language Principle ''USIPS'': A Telidon picture creation station ''USS Transit Station Simulation'' demonstration and documentation film ''Underwater Love'': Building Tristao and Isolda's Personalities ''Verschmelzung'', Tonal Fusion, and Consonance: Carl Stumpf Revisited ''What Is a Petri Net?'' ''Who belongs in a family?'' ''Willed action'': a functional MRI study of the human prefrontal cortex during a sensorimotor task. ''You Cannot Use My Broom! I'm the Witch, You're the Prince'': Collaboration in a Virtual Dramatic Game ''lyng-by'' - a modeler's Matlab toolbox for spatio-temporal analysis of functional neuroimages ''lyngby'' a Matlab toolbox for fMRI analysis: Results of a user questionnaire 'C and tcc: A Language and Compiler for Dynamic Code Generation 'C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation 'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony 'Can' and the Logic of Ability 'Degree of confirmation' and inductive logic 'DiPPP' Online Self-Improving Linear Map for Distance-Preserving Data Analysis 'Digilux' Touch Sensitive Panel 'Dynamism of a Dog on a Leash' or Behavior Classification by Eigen-Decomposition of Periodic Motions 'Edition et visualisation interactive de documents multim'edia 'Emigr'e: Metalevel Architecture and Migratory Work 'Et' : a Friendly Interactive Editing Tool for IC Layout 'Etude de l'invocation entre objets dupliqu'es dans un syst'eme r'eparti tol'erant aux fautes 'Evaluation d'un Syst'eme pour le R'esum'e Automatique de Documents 'Electroniques 'Even', 'Still' and Counterfactuals 'ForSe FIElds' - Force Sensors for Interactive Environments 'Gk WHAT ' - the New Graphics Standard 'Good', 'Fair', and 'Bad' Chord Progressions: A Regression-Analysis of Some Psychological Chord Progression Data Obtained in an Experiment by J. Bharucha and C. Krumhansl 'Improving ratings': audit in the British university system 'Jezgro' - A 3D system of routines for the graphical processing of aircraft surfaces 'Karat'-system for output of graphical and alphanumeric information from a computer onto microfilm 'Karma': a Knowledge-Based Robot Manipulation System: the Graphics User Interface 'Learning' Based Filtering of Text Information Using Simple Interest Profiles 'Long' Wh-Movement and Referentiality 'Methodology in Computer Graphics' Re-Examined 'Missing Prepositions' and the Analysis of English Free Relative Clauses 'NAIL': Artificial Intelligence Software for Learning Natural Language 'Not gender difference but the difference gender makes'-explanation in research on sex and language 'Occursus Cum Novo' - Tools for Efficient Photo-Realistic Computer Animation 'On Being Informed': Update Logics for Knowledge States 'Only': Association with Focus in Event Semantics 'Only-Ifs' 'Part' Relations for Object-Oriented Databases 'Perceptual' strategies in the solving of three-term series problems 'Picture logic' for 'Bacchus' a fourth-generation computer 'Plain backprobagation' and advanced optimization algortims: A comparative study 'Planchette' System for Input-Output Graphical Information 'Profit by Safety' or Quackery in Biomedical Information Technology? 'Steam Plume' Simulation 'Temporal' Integrity Constraints in Temporal Databases 'The surface management system' (SuMS) database: a surface-based database to aid cortical surface reconstruction, visualization and analysis 'Twixt Land and Sea 'Type' Is Not a Type 'Vagueness' is Context-Dependence: A Solution to the Sorites Paradox 'Vipar' Libraries to Support Distribution and Processing of Visualization Datasets 'Virtual Keyboard' Controlled by Spontaneous EEG Activity 'Visual Thinking' Reconsidered: Some Implications for Computer Graphics 'What' and 'where' in the human brain ( ( M 1)st-Price Auction Protocol (0, 1) Ideal Matrices

( cont. (1 epsilon)-Approximation of Sorting by Reversals and Transpositions (1slash lambda)-regular and (1slash lambda)-homogeneous tournaments (2 f(n))-SAT and Its Properties (3,4)-weighted skeleton decomposition for pattern representation and description (Anti-)Reconstructin and Referentiality (Anti-)Reconstruction and Referentiality (Anti-)reconstruction and referentiality (Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative (Avoiding, describing and understanding) Interference (Continuing) Education of Software Professionals (D)'accord ou pas accord: quelque id'ees g'en'erales concernant une grammaire compar'ee de l'anglais et du japonais (Erasing) strings (H,C,K)-Coloring: Fast, Easy, and Hard Cases (Head-)Normalization of Typeable Rewrite Systems (Im)Possibilities of Predicate Detection in Crash-Affected Systems (Local Area) Network Security (Mis?-) Using DRT for generation of natural language text from image sequences (Non) Gauge Invariance of Wilsonian Effective Actions in (Supersymmetric) Gauge Theories : A Critical Discussion (Not So) Random Shuffles of RC4 (Objects Concurrency) (Probabilistic) Recurrence Relations Revisited (Quasi-) Thread-Safe PVM and (Quasi-) Thread-Safe MPI without Active Polling (Real) Time: A Philosophical Perspective (SPHINCs) : Specification Reuse via Homogeneous Interpretation of Concepts (Semi-)Predictive Discretization During Model Selection (Serious) Actualism and (Serious) Presentism (Simula 67) common base language (Thread and Object)-Oriented Distributed Programming (Time x Space)-Efficient Implementations of Hierarchical Conceptual Models (Un)expected Path Lengths of Asymmetric Binary Search Trees (Unreasonable Software) Reuse is Unreasonable (Software Reuse) (a,d)-antimagic Labeling of Antiprisms Q n (alpha, beta) Reduction of Decision Table: A Rough Approach (formerly ES-212) Non-reciprocal Altruism and the Evolution of Paternal Care (g 0, g 1, dots, g k)-Trees and Unary 0L Systems (g,f)-Factorizations Orthogonal to k Subgraphs (k, )-Distance-Hereditary Graphs (n,m)-Cubes and Farey Nets for Naive Planes Understanding (poly(log log n), poly (log log n))-restricted verifiers are unlikely to exist for languages in NP * *MOD-A Language for Distributed Programming , ,'Defeasible' Problems ,'Even If', ,'He': A Study in Self-Consciousness ,'I've Never Seen Anything Like It': Overstatement, Understatement, and Irony ,'Ifs', 'Cans' and Determinism ,'P and I Will Believe that not-P': Diachronic Constraints on Rational Belief ,'Real', ,'So' as a Constraint on Relevance ,'Statistical' First Order Conditionals ,'Two Examiners Marked Six Scripts.' Interpretations of Numerically Quantified Sentence ,'Who' and 'Whether': Towards a Theory of Indirect Question Clauses - -MKRP: A proof development environment . .NET as a Platform for Implementing Concurrent Objects (Research Note) 0 0(n^2) Algorithms for Graph Planarization 0,1N space mboxself-organising feature maps-extensions and hardware 0-1 laws by preservation 0.863-Approximation Algorithm for MAX DICUT 00,1-Solutions of Integer Linear Equation Systems 02Log: Towards Remote Coordination 04081 Abstracts Collection - Theory of Evolutionary Algorithms 0I0T - A Strongly-Typed Embeddable Computer Algebra Library 0SC0*ECS: A Class of Modular and Hierarchical Cooperating Systems 0SI Reference Model-The IS0 model of architecture for open systems interconnection 0slash 1-Integer Programming: Optimization and Augmentation are Equivalent 1 1 Constraints and Constraint Solving: An Introduction 1 Endothelin Antagonists Search for Surrogates of Methylendioxyphenyl by Means of a Kohonen Neural Network 1 Free Radicals in Biology and Medicine

(previous 200) (next 200)