Search results for "BASIC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Kazushige Goto, Robert A. van de Geijn	Anatomy of high-performance matrix multiplication.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	basic linear algebra subprogrms, matrix multiplication, Linear algebra
16	Radomír Halas	The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains.	Stud Logica	2008	DBLP DOI BibTeX RDF	Lattice effect algebra, basic algebra, antitone involution, variety
16	Antje Lichtenstein, Astrid Oehme, Stefan Kupschick, Thomas Jürgensohn	Comparing Two Emotion Models for Deriving Affective States from Physiological Data.	Affect and Emotion in Human-Computer Interaction	2008	DBLP DOI BibTeX RDF	dimensional model of affect, basic emotions, ambient intelligence, psychophysiology, Emotion classification
16	Antoine Boutet, Benoit Le Texier, Nicolas Montavont, Tanguy Ropitault, César Viho	Gestion des flux dans les réseaux mobiles.	UbiMob	2008	DBLP DOI BibTeX RDF	network mobility basic support (NEMO BS), IPv6, mobile IPv6, flow management
16	Zhenshan Liu, Junyong Luo, QingXian Wang	Large Scale Topology Discovery for Public IPv6 Networks.	ICN	2008	DBLP DOI BibTeX RDF	probing redundancy, basic topology information, source routing
16	Manabu Tsukada, Olivier Mehani, Thierry Ernst	Simultaneous usage of NEMO and MANET for vehicular communication.	TRIDENTCOM	2008	DBLP DOI BibTeX RDF	MANEMO, NEMO basic support, MANET, vehicular network, multihoming
16	Mario Vélez, Juan Ospina, Doracelly Hincapié	Tutte Polynomials and Topological Quantum Algorithms in Social Network Analysis for Epidemiology, Bio-surveillance and Bio-security.	BioSecure	2008	DBLP DOI BibTeX RDF	Aharonov-Arab-E bal-Landau algorithm, Topological Quantum Computation, Basic Reproductive Number, Social Network Analysis, Borders, Tutte Polynomial
16	Masoud Jenabi, S. Ali Torabi, S. Afshin Mansouri	A hybrid GA for a supply chain production planning problem.	GECCO	2007	DBLP DOI BibTeX RDF	basic period approach, flexible flow lines, hybrid genetic algorithm (HGA), lot and delivery-scheduling
16	Bae-Muu Chang, Hung-Hsu Tsai, Pao-Ta Yu	Character Recognition Based on Neural Network and Dempster-Shafer Theory.	ICTAI (2)	2007	DBLP DOI BibTeX RDF	Mass functions, Basic probability assignment, Character recognition, Recurrent neural network, Dempster-Shafer theory
16	C. W. Kim, C. H. Park, S. S. Lee	An Automated Design System of Press Die Components Using 3-D CAD Library.	ICCSA (2)	2007	DBLP DOI BibTeX RDF	3D CAD Library, Press Die Components, CATIA, BOM, Design, Database, API, Visual Basic, Microsoft Access
16	Csaba Zainkó, Márk Fék, Géza Németh	Expressive Speech Synthesis Using Emotion-Specific Speech Inventories.	COST 2102 Workshop (Patras)	2007	DBLP DOI BibTeX RDF	Expressive speech synthesis, basic emotions, diphone and triphone inventory, listening test, forced choice
16	Ahmad Zmily, Christos Kozyrakis	Block-aware instruction set architecture.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	basic block, software hints, branch prediction, Instruction set architecture, instruction fetch, decoupled architecture
16	Zhiguo Cheng, Yuncai Liu	A Graph-based Method to Remove Interferential Curve From Text Image.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	Interferential curve, Basic graph, Super graph, Principal curve, DFS
16	Farzaneh Kohandani, Derek W. McAvoy, Amir K. Khandani	Wireless Airtime Traffic Estimation Using a State Space Model.	CNSR	2006	DBLP DOI BibTeX RDF	basic structural model, autoregressive integrated moving average, mean absolute percentage error, Kalman filter
16	Sanjay Misra	Modified Cognitive Complexity Measure.	ISCIS	2006	DBLP DOI BibTeX RDF	cognitive weights, basic control structures, cognitive complexity measure, Software metrics
16	Dario Carluccio, Kerstin Lemke-Rust, Christof Paar, Ahmad-Reza Sadeghi	E-Passport: The Global Traceability Or How to Feel Like a UPS Package.	WISA	2006	DBLP DOI BibTeX RDF	MRTD, Basic Access Control, RF Eavesdropper, MRTD Cracker, Privacy, Biometrics, E-Passport
16	Ahmad Zmily, Christos Kozyrakis	Energy-efficient and high-performance instruction fetch using a block-aware ISA.	ISLPED	2005	DBLP DOI BibTeX RDF	basic blocks, energy efficiency, instruction set architecture, decoupled architecture, instruction delivery
16	Irina Perfilieva	Fuzzy Transforms.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF	fuzzy transform, basic function, universal approximation
16	C. Vasantha Lakshmi, C. Patvardhan 0001	An optical character recognition system for printed Telugu text.	Pattern Anal. Appl.	2004	DBLP DOI BibTeX RDF	Telugu, Basic symbols, Printed text, Pattern recognition, OCR
16	R. Elijah Blessing, V. Rhymend Uthariaraj	Design of Secure Multicast Models for Mobile Services.	SOFSEM	2004	DBLP DOI BibTeX RDF	Basic simple model, Enhanced LeaSel, security, mobile, complexity, Multicast, encryptions, key distribution
16	Yingxu Wang, Jingqiu Shao	Measurement of the Cognitive Functional Complexity of Software.	IEEE ICCI	2003	DBLP DOI BibTeX RDF	software engineering measurement, cognitive functional size, cognitive weight and basic control structures, software complexity, Cognitive informatics
16	Peter Graubmann	MSC Connectors - The Chamber of Secrets.	SDL Forum	2003	DBLP DOI BibTeX RDF	Interface Protocol, Message Sequence Chart (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering Abbreviations: BMSC: Basic Message Sequence Chart, MSC: Message Se-quence Chart, LPO: Labeled Partial Ordering, TTCN-3: Test and Test Control Notation Version-3, Component, Interface, Compositionality
16	Birgit Demuth, Mike Fischer, Heinrich Hußmann	Experience in Early and Late Software Engineering Project Courses.	CSEE&T	2002	DBLP DOI BibTeX RDF	basic/complex project course, OOA/OOD, framework-based approach, Java, UML, software architecture, requirements engineering, project management, software engineering course
16	Salvatore Filippone, Michele Colajanni	PSBLAS: a library for parallel linear algebra computation on sparse matrices.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	basic linear algebra subprograms, FORTRAN
16	Jan Lindström	Extensions to optimistic concurrency control with time intervals.	RTCSA	2000	DBLP DOI BibTeX RDF	optimistic approach, RTDBS, restart overhead, unnecessary restart problem, OCC-TI, Optimistic Concurrency Control with Time Intervals, basic dynamic adjustment, serialization order conflict resolution method, real-time systems, protocols, concurrency control, optimisation, transaction processing, real time database systems, real time database system, optimistic concurrency control, time intervals, locking protocols
16	Yutaka Ishibashi, Shuji Tasaka	A Comparative Survey of Sychronization Algorithms for Continuous Media in Network Environments.	LCN	2000	DBLP DOI BibTeX RDF	comparative survey, media synchronization control techniques, basic control, preventive control, common control, network delay bounds, delays, multimedia systems, synchronisation, clocks, clocks, reviews, continuous media, telecommunication networks, algorithm design, telecommunication control, network environments, synchronization algorithms, reactive control
16	Marcelo M. Perez, Tim J. Dennis	An Adaptive Implementation of the Susan Method for Image Edge and Feature Detection.	ICIP (2)	1997	DBLP DOI BibTeX RDF	adaptive implementation, SUSAN method, image edge detection, basic low level primitives, localization accuracy, reliability, image processing, feature extraction, connectivity, image analysis, shape, surfaces, feature detection, structural information, edge detectors, junctions
16	Lawrence C. Paulson	Mechanized proofs for a recursive authentication protocol.	CSFW	1997	DBLP DOI BibTeX RDF	mechanized proofs, recursive authentication protocol, inductive approach, message nesting, basic security theorem, adjacent pairs, honest agents, protocol complexity, agents, protocols, specification, symmetry, mutual authentication, Isabelle/HOL, session keys
16	László Csaba	Experience with User Interface Reengineering Transferring DOS Panels to Windows.	CSMR	1997	DBLP DOI BibTeX RDF	Artificial User Program, S-Prog, Word Basic, Windows, Remote Controlling, DOS, User Interface Reengineering
16	Vassil S. Dimitrov, Graham A. Jullien, William C. Miller	Theory and applications for a double-base number system.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	basic arithmetic operations, index calculus, logarithmic-like arithmetic, hardware reductions, lookup table size, inner product computation, modular exponentiation computation, cryptography, digital signal processing, number theory, sparse representation, double-base number system, geometric interpretation
16	Ankica Babic, Milan Petelin, Teodora Ivanusa	Convergent assessment of radiographic diagnostic systems.	CBMS	1997	DBLP DOI BibTeX RDF	convergent assessment, radiographic diagnostic systems, radiological diagnostics, basic monitoring technique, alveroal bone loss, periodontal disease, Conventional Visual Radiography, clinical status, Digital Subtraction Radiography, Probing Pocket Depth, beagle dogs, medical treatment, clinical trend, bone loss, diagnostic radiography, measurement errors
16	Jaeyoung Choi, Sung-Hoon Moon	A parallel Cholesky factorization routine with a new version of PB-BLAS.	ICPADS	1997	DBLP DOI BibTeX RDF	parallel Cholesky factorization routine, PB-BLAS, Parallel Block Basic linear Algebra Subprograms, block cyclic data distribution, memory space management, PB-BLAS routine performance, Hermitian matrix, triangular matrix, high performance linear algebra routine library, Intel Paragon computer, distributed memory systems, distributed-memory systems, symmetric matrix, ScaLAPACK, data decomposition
16	Monika Kapus-Kolar	Employing disruptions for more efficient functionality decomposition in LOTOS.	EUROMICRO	1997	DBLP DOI BibTeX RDF	functionality decomposition transformation, Basic LOTOS specifications, external behaviour, expected service, specified service actions, pairwise communication, common actions, unbounded reliable first in first out channels, inter component communication, synchronisation message receptions, specification languages, disruptions
16	Claudia I. Horta, José A. Lima	Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans.	EUROMICRO	1997	DBLP DOI BibTeX RDF	floorplan area optimization problem, rectangle envelope, nonoverlapping basic rectangles, floorplan topology, formal algebraic specification, SETS notation, VLSI physical design layout, module dimensions, arbitrarily complex composite floorplans, rotation-invariant single-expression formalism, generalized wheels floorplans, slicing representation, nonslicing representation, unified representation, topology-dimensionless description, floorplanning problem algorithms, algebraic specification, line segments, relative positioning
16	T. Leonard, Valdis Berzins, Luqi, M. J. Holden	Gathering Requirements from Remote Users.	ICTAI	1997	DBLP DOI BibTeX RDF	remote users, distributed requirements engineering environment, Personal Web Server, Open Database Connectivity, Netscape Communicator, Access97 database, PERL scripts, basic security features, Internet accessible database, computer aided software engineering, database operations, computer aided software engineering tools, Internet Explorer
16	M. E. Waite, T. J. Reynolds, F. Z. Ieromnimon	Parallel Graph Reduction with the PACE Architecture.	PDP	1996	DBLP DOI BibTeX RDF	parallel graph reduction, PACE architecture, graph reduction model, basic replicable node, prototype version, Verilog description, C simulator, parallel programming, graph theory, parallel architectures, virtual machines, distributed memory systems, parallel execution, distributed memory multiprocessor
16	G. Enrique Fernandez, R. Sridhar	Dual rail static CMOS architecture for wave pipelining.	VLSI Design	1996	DBLP DOI BibTeX RDF	dual rail static CMOS architecture, gate capacitance, storage elements, DRSCMOS, multi-functional basic building blocks, combinational logic block, delays, timing, throughput, combinational circuits, power consumption, pipeline processing, CMOS logic circuits, digital systems, capacitance, wave pipelining, delay variations
16	Jeremy Epstein, Tim Williams	Using Fortezza For Transparent File Encryption.	ACSAC	1996	DBLP DOI BibTeX RDF	Fortezza, transparent file encryption, SISTex, Assure Basic product, security features, DOS/Windows environment, DES based file encryption, Fortezza card, Skipjack algorithm, technical problems, access controls, cryptography, Data Encryption Standard, product development
16	Eduardo Casado Revuelta, Pilar Martínez Jiménez, A. Blanca-Pancorbo, J. Leon-Alvarez, M. Cuevas-Rubiño, D. González-Caballero	Design of an environment for physical phenomena simulation: application to visualization and animation of electrostatic field and potential.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	electric fields, electric potential, electrostatic potential, interactive laboratories, physical phenomena simulation, Visual Basic Pro for Windows, easy management, easy use, graphical menus, graphical options, 3D coordinates, 2D coordinates, interactive character, integrator character, educative process, tutorial simulation, tutorial evaluation, visualization, software engineering, animation, software, computer animation, interactive systems, digital simulation, data visualisation, physics, courseware, physics computing, computational physics, work environment, electrostatic field
16	Chung-Len Lee, Horng Nan Chern, Min Shung Liao, Hui Min Wang	On Designing of 4-Valued Memory with Double-Gate TFT.	ISMVL	1995	DBLP DOI BibTeX RDF	thin film transistors, 4-valued memory, double-gate TFT, 4 valued memory cell, double gate thin film transistor, double gate TFT, HSPICE simulation, resistor load, CMOS load basic block circuit, memory cell circuits, SRAM cell circuit, memory architecture, integrated circuit design, multivalued logic, SPICE, circuit design, multivalued logic circuits, SRAM chips, CMOS memory circuits, equivalent circuits, equivalent circuit
16	C. V. Ramamoorthy	Distributed techniques in software systems integration.	FTDCS	1995	DBLP DOI BibTeX RDF	software systems integration, distributed computing techniques, traditional software development, waterfall model, basic conceptual model, generic integration lifecycle, design, formal specification, testing, specification, software development, software tools, validation, requirements, implementation, program verification, software development management, consumer electronics, iterative testing, automation support
16	Atish P. Sinha, Iris Vessey	Cognitive Fit: An Empirical Study of Recursion and Iteration.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	basic theory, recursive tasks, PASCAL computer science students, repeated measures designs, specific programming languages, cognitive fit, human factors, programming, programming languages, LISP, LISP, Pascal, programming theory, recursive functions, programming constructs, laboratory experiment, performance benefits
16	Brendan P. Mahony, Ian J. Hayes	A Case-Study in Timed Refinement: A Mine Pump.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
16	Kwan Woo Ryu, Joseph F. JáJá	Efficient Algorithms for List Ranking and for Solving Graph Problems on the Hypercube.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	linear speedup, basic graph problems, tree expression evaluation, st-numbering, one-port communication, parallel algorithms, computational complexity, load balancing, graph theory, sorting, sorting, graph algorithms, biconnected components, list ranking, graph problems, hypercube algorithm, hypercube algorithms, ear decomposition
16	David H. Pitt, David Freestone	The Derivation of Conformance Tests from LOTOS Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	formal description technique LOTOS, International Standards Organization, basic LOTOS operators, theoretical notion, canonical testers, finite test suites, test suite design, formal specification, protocols, standards, communication protocols, open systems, formal languages, conformance tests, conformance testing, OSI, protocol specifications, test processes
16	Gerald W. Neufeld, Yueli Yang	The Design and Implementation of an ASN.1-C Compiler.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	abstract syntax notation one, ASN.1-C compiler, international standard specification, transfer-syntax, basic encoding rules, external data representation, ED library, CASN1, design, user interface, protocol, protocols, standards, C, implementation, encoding, program compilers, decoding, decoding
16	Steve R. White, Liam Comerford	ABYSS: An Architecture for Software Protection.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	software protection architecture, execution protection, software transfer, software back-up, loss guarding, ABYSS, a basic Yorktown security system, uniform security service, software distribution channels, use-once authorization, technical enforcement, rental software, software engineering, security of data, token, computing systems, application software
16	Bharat Jayaraman, Gopal Gupta 0001	EqL: The Language and Its Implementation.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	conditional rules, general-purpose language, EqL, pattern-directed rules, data-constructors, basic values, equation solving, deferred evaluation, sequential implementation, compile-time flattening, run-time equation-delaying, last-equation optimization, logic programming, functional programming, functional programming, nondeterminism, high level languages, mathematics computing, equations, logic programming languages, computational paradigm, logical variables
16	Jan L. Harrington	The computer background of incoming freshman: looking for emerging trends.	SIGCSE	1988	DBLP DOI BibTeX RDF	BASIC
16	John G. Allee Jr., Robert L. Williams	A Syntactic Schema And Algorithm For Language Arts CAI.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	CAI for grammar and usage, English sentence algorithms and schemata, Generating sentences, Programming grammar in BASIC, Computer assisted instruction
16	Yusuke Manabe, Basabi Chakraborty, Kenji Sugawara	Extraction of the basic feature points of handwriting data by auto translation error map.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
16	Jingwen Tian, Erhong Lu, Meijuan Gao	Design and Application of Water Displacing Oil Physical Simulation System Based on Radial Basic Function Network.	WKDD	2009	DBLP DOI BibTeX RDF
16	Abid M. Malik, Tyrel Russell, Michael Chase, Peter van Beek	Learning heuristics for basic block instruction scheduling.	J. Heuristics	2008	DBLP DOI BibTeX RDF	List scheduling heuristics, Machine learning, Instruction scheduling
16	Chenggang Liu, Jianbo Su	Basic behavior acquisition based on multisensor integration of a robot head.	ICRA	2008	DBLP DOI BibTeX RDF
16	Xuming Han, Limin Wang, Wanli Zuo, Hongzhi Wang 0004, Guojun Chen	Research on Teaching Reform of Computer Basic Courses in Technology Universities.	ICYCS	2008	DBLP DOI BibTeX RDF
16	Francisco Corbera, Eladio Gutiérrez, Julián Ramos, Sergio Romero 0001, María A. Trenas	Development of a new MOODLE module for a basic course on computer architecture.	ITiCSE	2008	DBLP DOI BibTeX RDF	computer architecture, LMS, Moodle, automatic assessment
16	Michal Botur, Radomír Halas	Complete Commutative Basic Algebras.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D35, 06F35, 03G10
16	Philippe Capdepuy, Daniel Polani, Chrystopher L. Nehaniv	Constructing the Basic Umwelt of Artificial Agents: An Information-Theoretic Approach.	ECAL	2007	DBLP DOI BibTeX RDF
16	Haibin Duan, Guanjun Ma, Senqi Liu	Experimental study of the adjustable parameters in basic ant colony optimization algorithm.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
16	Abbas Iravani Tabrizipoor, Payam Gooran Oreimi, Mahmoud Pirhadi, Mansour Mirzabaghi, Yazdan Nasr Harandi, Mojtaba Yaghoubi Waskasi	Investigation of Basic Services Interoperability Problems in Next Generation Networks.	ECUMN	2007	DBLP DOI BibTeX RDF
16	Deepak Kumar Dalai, Subhamoy Maitra, Sumanta Sarkar	Basic Theory in Construction of Boolean Functions with Maximum Possible Annihilator Immunity.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classification 94A60, 06E30
16	Zaiyue Zhang, Yuefei Sui, Cungen Cao 0001	A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.	TAMC	2006	DBLP DOI BibTeX RDF	double priority, tree method, logic programs
16	K. G. Subramanian 0001, Ramakrishnan Saravanan, P. Helen Chandra	Cooperating Basic Puzzle Grammar Systems.	IWCIA	2006	DBLP DOI BibTeX RDF
16	Yuming Jiang 0001	A basic stochastic network calculus.	SIGCOMM	2006	DBLP DOI BibTeX RDF	independent case analysis, stochastic arrival curve, stochastic network calculus, stochastic quality of service guarantee, stochastic service curve, stochastic strict server
16	Irene Albrecht, Marc Schröder 0001, Jörg Haber, Hans-Peter Seidel	Mixed feelings: expression of non-basic emotions in a muscle-based talking head.	Virtual Real.	2005	DBLP DOI BibTeX RDF	Continuous emotions, Emotional speech synthesis, Facial animation
16	Tran Khanh Dang	Privacy-Preserving Basic Operations on Outsourced Search Trees.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
16	Morteza Mehrdad, Akbar Heydari, Mohammad-Nabi Sarbolouki, Shapour Etemad	Basic science in the Islamic Republic of Iran.	Scientometrics	2004	DBLP DOI BibTeX RDF
16	Roberto Cignoli, Antoni Torrens	Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
16	Jaepil Ko, Hyeran Byun	Binary Classifier Fusion Based on the Basic Decomposition Methods.	Multiple Classifier Systems	2003	DBLP DOI BibTeX RDF
16	Noureddine Chabini, Ismaïl Chabini, El Mostapha Aboulhamid, Yvon Savaria	Unification of basic retiming and supply voltage scaling to minimize dynamic power consumption for synchronous digital designs.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	supply voltage scaling, performance, power consumption, CMOS, retiming, digital design
16	Ioannis Chatzigiannakis, Sotiris E. Nikoletseas	An Adaptive Compulsory Protocol for Basic Communication in Highly Changing Ad hoc Mobile Networks.	IPDPS	2002	DBLP DOI BibTeX RDF	Ad-hoc Mobile Networks, Communication, Markov Chains, Adaptive Algorithms
16	Marvin S. Seppanen	Modeling for application: developing industrial strength simulation models using Visual Basic for Applications (VBA).	WSC	2000	DBLP DOI BibTeX RDF
16	Fuminori Yamasaki, Tatsuya Matsui, Takahiro Miyashita, Hiroaki Kitano	PINO The Humanoid: A Basic Architecture.	RoboCup	2000	DBLP DOI BibTeX RDF
16	Hidehiro Nakano, Toshimichi Saito	Basic Dynamics from a Pulse-Coupled Network of Autonomous Integrate-and-Fire Chaotic Circuits.	IJCNN (5)	2000	DBLP DOI BibTeX RDF
16	Giovanni Sambin, Silvia Gebellato	A Preview of the Basic Picture: A New Perspective on Formal Topology.	TYPES	1998	DBLP DOI BibTeX RDF
16	Aart Middeldorp, Erik Hamoen	Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract).	ALP	1992	DBLP DOI BibTeX RDF
15	Rob Peters, Pim Jorg, Marco Meesters, Marcel Hoogwout, Edwin Stuart	Maintaining data-integrity in the back office registries of cities; a survey on organizational barriers and ways to address.	ARES	2006	DBLP DOI BibTeX RDF
15	Minoru Uehara	Web CC: A WBT System of Programming for Beginners.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
15	Yi-an Huang, Wenke Lee	Attack Analysis and Detection for Ad Hoc Routing Protocols.	RAID	2004	DBLP DOI BibTeX RDF
15	Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard	Abstraction Mechanisms in the Beta Programming Language.	POPL	1983	DBLP DOI BibTeX RDF
14	Manar AbuTalib, Adel Khelifi, Alain Abran, Olga Ormandjieva	Techniques for Quantitative Analysis of Software Quality throughout the SDLC: The SWEBOK Guide Coverage.	SERA	2010	DBLP DOI BibTeX RDF	Seven Basic Tools of Quality, Software Quality, Statistical Process Control, Six Sigma, Statistical Techniques, SWEBOK
14	Siriphong Lawphongpanich	Convex-Simplex Algorithm.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Basic component, Convex-simplex algorithm, Feasible direction methods, First order Taylor series expansion, Generalized upper bounding structure, Golden section method, Improving feasible direction, Inexact line search technique, Karush-Kuhn-Tucker conditions, Linearly independent, Line search problem, Nonbasic component, Nonlinear network flow problems, Nonsingular, Pseudoconvex function, Reduced gradient algorithm, Second order approximation, Superbasic variables, Linear program, Nonlinear programming, Polyhedron, Simplex algorithm, Extreme point, Generalized networks
14	Panos M. Pardalos	Linear Programming.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Basic solution, Nondegenerate, Linear programming, Simplex method, Pivoting
14	Katta G. Murty	Complexity of Degeneracy.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Near degeneracy, Active constraints, Tight constraints, Inactive constraints, Slack constraints, Basic feasible solution, Regular polyhedron, Simple polyhedron, Stalling, Resolving degeneracy, Positive marginal values, Negative marginal values, Extreme point enumeration, Extreme point ranking, Assignment ranking, Segments of polyhedra, NP-complete problem, Cycling, Degeneracy, Active set methods, Nondegeneracy
14	Bruce D. Craven	Invexity and its Applications.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Invex, Lagrangian conditions, ?-convex, Wolfe dual, Mond-Weir dual, Generalized invex, V-invex, Convexifiable, Protoconvex, Quasi-invex, Pseudo-invex, Pseudoconvex, Quasiconvex, Basic alternative theorem, Convex-like, Continuous programming, Optimization, Optimal control, Scale function, Constrained minimization
14	M'hammed El Kahoui, Adamou Otto	Stability of Disease Free Equilibria in Epidemiological Models.	Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF	stability of equilibria, invariant set, basic reproduction number, Gröbner basis, Routh-Hurwitz criterion, M-matrices, Epidemiological models
14	George H. L. Fletcher, Peter W. Beck	Scalable indexing of RDF graphs for efficient join processing.	CIKM	2009	DBLP DOI BibTeX RDF	basic graph patterns, indexing, sparql, rdf, graph databases
14		Prediction and Analysis of Chinese CPI Based on RBF Neural Network.	IFITA (3)	2009	DBLP DOI BibTeX RDF	radial basic function (RBF), time series
14	Hideki Aoyama, Rie Iida	Collaboration Design System Using Internet and Virtual Reality Technology.	HCI (13)	2009	DBLP DOI BibTeX RDF	Design Collaboration, Industry Product Design, Basic Design, Internet, Virtual Reality, CAD, 3D Modeling
14	Ning Xiong 0001, Peter Funk 0001	CBR Supports Decision Analysis with Uncertainty.	ICCBR	2009	DBLP DOI BibTeX RDF	Case-based decision analysis, basic probability assignment, similarity, case-based reasoning, information fusion, decision model
14	QingE Wu 0001, Zhenyu Han, TianSong Guo	Application of an Uncertain Reasoning Approach to Software Aging Detection.	NCM	2009	DBLP DOI BibTeX RDF	basic degree of belief, software detection, rough sets, threshold value
14	Max Walter, Sebastian Esch, Philipp Limbourg	COBAREA: The COpula-BAsed REliability and Availability Modeling Environment.	QEST	2009	DBLP DOI BibTeX RDF	reliability block diagrams, dependent basic events, reliability, software tool, availability, copula, fault trees
14	Kazimierz Wilkosz, Zofia Kruczkiewicz, Tomasz Rojek	Multiagent Systems for Power System Topology Verification.	IDEAL	2009	DBLP DOI BibTeX RDF	power system topology, radial basic function networks, multiagent system, interaction protocol
14	Can Kültür, Ilgim Veryeri Alaca	Fine arts perspective in user interface design.	ITiCSE	2009	DBLP DOI BibTeX RDF	basic design, creative thinking, user interface design, design process
14	Juanle Wang, Yunqiang Zhu, Jia Song 0001, Yaping Yang	Study on Resource and Environment Scientific Research Data Archiving .	ESIAT (2)	2009	DBLP DOI BibTeX RDF	National Basic Research Program of China, Resource and Environment, Data sharing, Data archiving
14	Go Irie, Kota Hidaka, Takashi Satou, Akira Kojima, Toshihiko Yamasaki, Kiyoharu Aizawa	Latent topic driving model for movie affective scene classification.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	Plutchik's basic emotions, affective scene classification, latent topic driving model, latent dirichlet allocation
14	Boonchuan Ng, Mohammad Syuhaimi Ab-Rahman, Kasmiran Jumari	FTTH Network Management Software Tool: SANTAD ver 2.0.	ICSAP	2009	DBLP DOI BibTeX RDF	transmission surveillance, fiber fault, failure location, protection, Visual Basic
14	Weihua Wang	Vehicle Type Recognition Based on Radial Basis Function Neural Networks.	JCAI	2009	DBLP DOI BibTeX RDF	radial basic function, vehicl type, neural networks, feature extracting, vehicle recognition
14	Kazushige Goto, Robert A. van de Geijn	High-performance implementation of the level-3 BLAS.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	basic linear algebra subprograms, matrix-matrix operations, libraries, Linear algebra
14	Maria Flavia Monaco, Marcello Sammarra, Luigi Moccia	Some observations about the extreme points of the Generalized Cardinality-Constrained Shortest Path Problem polytope.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Basic solutions, Polytopes, Extreme points, Constrained shortest path