Search results for "BASIC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Marcus Alanen, Ivan Porres	Basic Operations over Models Containing Subset and Union Properties.	MoDELS	2006	DBLP DOI BibTeX RDF	subset and derived properties, UML, metamodeling, MOF
11	Bernhard Stöger, Mario Batusic, Klaus Miesenberger, Philipp Haindl	Supporting Blind Students in Navigation and Manipulation of Mathematical Expressions: Basic Requirements and Strategies.	ICCHP	2006	DBLP DOI BibTeX RDF
11	Hassane Essafi, S. Sayah, Mohamed Amine Ouddan	Robustness evaluation of the basic descriptors for audio indexing.	MMM	2006	DBLP DOI BibTeX RDF
11	Michael Backes 0001, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay	Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos.	ESORICS	2006	DBLP DOI BibTeX RDF
11	Allan Borodin	Further Reflections on a Theory for Basic Algorithms.	AAIM	2006	DBLP DOI BibTeX RDF
11	Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001	Reducing Computational Costs in the Basic Perturbation Lemma.	CASC	2006	DBLP DOI BibTeX RDF
11	Dieter Pfoser, Nectaria Tryfona, Christian S. Jensen	Indeterminacy and Spatiotemporal Data: Basic Definitions and Case Study.	GeoInformatica	2005	DBLP DOI BibTeX RDF	spatiotemporal uncertainty, spatiotemporal indeterminacy, spatiotemporal fuzziness, moving objects, trajectories, spatiotemporal data
11	Jan L. G. Dietz, Antonia Albani	Basic notions regarding business processes and supporting information systems.	Requir. Eng.	2005	DBLP DOI BibTeX RDF
11	Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková	Complexity issues in basic logic.	Soft Comput.	2005	DBLP DOI BibTeX RDF
11	Roberto Cignoli, Antoni Torrens	Standard completeness of Hájek basic logic and decompositions of BL-chains.	Soft Comput.	2005	DBLP DOI BibTeX RDF
11	Xuejie Qin, Yee-Hong Yang	Basic Gray Level Aura Matrices: Theory and its Application to Texture Synthesis.	ICCV	2005	DBLP DOI BibTeX RDF
11	Susan Cotterell, Ryan Mannion, Frank Vahid, Harry Hsieh	eBlocks - an enabling technology for basic sensor based systems.	IPSN	2005	DBLP DOI BibTeX RDF
11	Ralf H. Reussner, Viktoria Firus	Basic and Dependent Metrics.	Dependability Metrics	2005	DBLP DOI BibTeX RDF
11	Linh Anh Nguyen	An SLD-Resolution Calculus for Basic Serial Multimodal Logics.	ICTAC	2005	DBLP DOI BibTeX RDF
11	Ozcan Ozturk 0001, Mahmut T. Kandemir, Mary Jane Irwin	BB-GC: Basic-Block Level Garbage Collection.	DATE	2005	DBLP DOI BibTeX RDF
11	Eckehard Schnieder, Jörg R. Müller	A Formal Description of the Basic Concepts of System Theory for Transportation.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
11	Robert Ball, Chris North 0001	Effects of tiled high-resolution display on basic visualization and navigation tasks.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	information visualization, high-resolution display
11	Yiu-Fai Sit, Risto Miikkulainen	Learning basic navigation for personal satellite assistant using neuroevolution.	GECCO	2005	DBLP DOI BibTeX RDF	PSA, enforced sub-populations, neuroevolution
11	Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella	Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra.	SAS	2005	DBLP DOI BibTeX RDF
11	Stefano Aguzzoli, Brunella Gerla	Normal Forms for the One-Variable Fragment of Hájek's Basic Logic.	ISMVL	2005	DBLP DOI BibTeX RDF
11	Claudine Santos Badue, Ramurti A. Barbosa, Paulo Braz Golgher, Berthier A. Ribeiro-Neto, Nivio Ziviani	Basic issues on the processing of web queries.	SIGIR	2005	DBLP DOI BibTeX RDF	load balance, search engines, distributed query processing
11	Christopher Lynch, Barbara Morawska 0001	Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories.	RTA	2005	DBLP DOI BibTeX RDF
11	Zenon Kulpa	Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Study.	MKM	2005	DBLP DOI BibTeX RDF
11	David S. Hands	A basic multimedia quality model.	IEEE Trans. Multim.	2004	DBLP DOI BibTeX RDF
11	Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, Carl E. Landwehr	Basic Concepts and Taxonomy of Dependable and Secure Computing.	IEEE Trans. Dependable Secur. Comput.	2004	DBLP DOI BibTeX RDF	fault forecasting, security, fault tolerance, trust, Dependability, attacks, errors, failures, faults, vulnerabilities, fault removal
11	Hong-Woo Chun, Young-Sook Hwang, Hae-Chang Rim	Unsupervised Event Extraction from Biomedical Literature Using Co-occurrence Information and Basic Patterns.	IJCNLP	2004	DBLP DOI BibTeX RDF
11	Hiroyuki Ishii, Tomohide Aoki, Masaki Nakasuji, Hiroyasu Miwa, Atsuo Takanishi	Experimental Study on Interaction between a Rat and a Rat-robot based on Animal Psychology - Analysis of Basic Factors Necessary for a Symbiosis between the Rat and the Robot.	ICRA	2004	DBLP DOI BibTeX RDF
11	Radko Mesiar	Basic Classification of Aggregation Operators and Some Construction Methods.	Fuzzy Days	2004	DBLP DOI BibTeX RDF	averaging operator, conjunctive operator, ordinal sum, aggregation operator
11	Roelof van Zwol, Frans Wiering, Virginia Dignum	The Utrecht Blend: Basic Ingredients for an XML Retrieval System.	INEX	2004	DBLP DOI BibTeX RDF
11	Stéphane Bressan, Guo Yuzhi	Performance Evaluation of a Simple Update Model and a Basic Locking Mechanism for Broadcast Disks.	DEXA	2004	DBLP DOI BibTeX RDF
11	Claude Chaudet, Isabelle Guérin Lassous, Eric Thierry, Bruno Gaujal	Study of the impact of asymmetry and carrier sense mechanism in IEEE 802.11 multi-hops networks through a basic case.	PE-WASUN	2004	DBLP DOI BibTeX RDF	simulation, performance evaluation, IEEE 802.11, asynchronism, asymmetry, carrier sense
11	Uolevi Nikula	Experiences of Embedding Training in a Basic Requirements Engineering Method.	CSEE&T	2004	DBLP DOI BibTeX RDF
11	Baris Sertkaya, Halit Oguztüzün	Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL.	ISCIS	2004	DBLP DOI BibTeX RDF
11	Janusz Morajda	Special Cluster Analysis and Basic Feature Estimation with a Modification of Self-Organizing Map.	ICAISC	2004	DBLP DOI BibTeX RDF
11	Yngvar Berg, Snorre Aunet, Øivind Næss, Omid Mirmotahari	Basic Multiple-Valued Functions Using Recharge CMOS Logic.	ISMVL	2004	DBLP DOI BibTeX RDF
11	Sergio Palladini	ArcObjects Development in Zone Design Using Visual Basic for Applications.	ICCSA (2)	2004	DBLP DOI BibTeX RDF
11	Alexandre F. Tenca, Ajay C. Shantilal, Mohammed H. Sinky	Improved-Throughput Networks of Basic On-Line Arithmetic Modules for DSP Applications.	ASAP	2004	DBLP DOI BibTeX RDF
11	Ming Meng, ZhongCheng Wu, Ping Fang, YunJian Ge, Yong Yu 0003	On-line Writer Verification Using Force Features of Basic Strokes.	SINOBIOMETRICS	2004	DBLP DOI BibTeX RDF
11	Claudia Roberta Calidonna, Adele Naddeo	A Basic Qualitative CA Based Model of a Frustrated Linear Josephson Junction Array (JJA).	ACRI	2004	DBLP DOI BibTeX RDF
11	Zenon Kulpa	Diagrammatic Analysis of Interval Linear Equations - Part I: Basic Notions and the One-Dimensional Case.	Reliab. Comput.	2003	DBLP DOI BibTeX RDF
11	Valentin Goranko	The Basic Algebra of Game Equivalences.	Stud Logica	2003	DBLP DOI BibTeX RDF	game operations, game algebra, game identities, completeness, modal logic, axiomatization
11	Petr Hájek 0001	Basic fuzzy logic and BL-algebras II.	Soft Comput.	2003	DBLP DOI BibTeX RDF
11	Mojtaba Aghaei, Mohammad Ardeshir	A Gentzen-style axiomatization for basic predicate calculus.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
11	Josep Díaz, Jordi Petit, Maria J. Serna	Evaluation of Basic Protocols for Optical Smart Dust Networks.	WEA	2003	DBLP DOI BibTeX RDF
11	Petr Jancar	Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete.	LICS	2003	DBLP DOI BibTeX RDF
11	Youngha Chang, Suguru Saito, Masayuki Nakajima 0001	A Framework for Transfer Colors Based on the Basic Color Categories.	Computer Graphics International	2003	DBLP DOI BibTeX RDF
11	Julien Arino, Pauline van den Driessche	The Basic Reproduction Number in a Multi-city Compartmental Epidemic Model.	POSTA	2003	DBLP DOI BibTeX RDF
11	Kristof Van Laerhoven, Nicolas Villar, Albrecht Schmidt 0001, Gerd Kortuem, Hans-Werner Gellersen	Using an autonomous cube for basic navigation and input.	ICMI	2003	DBLP DOI BibTeX RDF	sensor-based tactile interfaces, Markov chain, maximum likelihood estimation, haptic interfaces, Gaussian modeling
11	David Riaño 0001	Guideline Composition from Minimum Basic Data Set.	CBMS	2003	DBLP DOI BibTeX RDF
11	Slawomir Lasota 0001	A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes.	MFCS	2003	DBLP DOI BibTeX RDF
11	Ahmet Yantir, Ünal Ufuktepe	Basic Calculus on Time Scale with Mathematica.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
11	Tobias Bauckhage	The Basic Economic Theory of Copying.	Digital Rights Management	2003	DBLP DOI BibTeX RDF
11	Jia Guo, María Jesús Garzarán, David A. Padua	The Power of Belady?s Algorithm in Register Allocation for Long Basic Blocks.	LCPC	2003	DBLP DOI BibTeX RDF
11	Chang Wook Ahn, David E. Goldberg, Rudrapatna S. Ramakrishna	Multiple-Deme Parallel Estimation of Distribution Algorithms: Basic Framework and Application.	PPAM	2003	DBLP DOI BibTeX RDF
11	Alex Talpasanu, G. Milford, K. S. A. Miles, Jeffrey A. Davis	Computer Educational Datapath (CED): Basic Computer Design for K-12 Education.	ITCC	2003	DBLP DOI BibTeX RDF
11	Manuel de la Sen, Juan J. Miñambres, Aitor J. Garrido, Ana Almansa, Juan Carlos Soto	Basic Theoretical Results for Describing Expert Systems. Application to the Supervision of Adaptation Transients in a Planar Robot.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	supervision of adaptation transients, expert system, logic, adaptive control, adaptive sampling
11	Iain S. Duff, Michael A. Heroux, Roldan Pozo	An overview of the sparse basic linear algebra subprograms: The new standard from the BLAS technical forum.	ACM Trans. Math. Softw.	2002	DBLP DOI BibTeX RDF	computational kernels, sparse iterative methods, Algorithms, software, sparse matrices, sparse BLAS
11	Michael Jackson 0001	Some Basic Tenets of Description.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Model domain, Modelling, Use cases, Description
11	Douglas Bell 0001	Visual basic.Net as a first language: an evaluation.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
11	Phillip B. Gibbons, John L. Bruno, Steven Phillips	Black-Box Correctness Tests for Basic Parallel Data Structures.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
11	Bärbel Herrnberger, Stefan Kempf 0001, Günter Ehret	Basic maps in the auditory midbrain.	Biol. Cybern.	2002	DBLP DOI BibTeX RDF
11	Spiridon Nikolaidis 0001, Haroula Pournara, Alexander Chatzigeorgiou	Output Waveform Evaluation of Basic Pass Transistor Structure.	PATMOS	2002	DBLP DOI BibTeX RDF
11	Bartlomiej Sniezynski	Basic Semantics of the Logic of Plausible Reasoning.	ISMIS	2002	DBLP DOI BibTeX RDF	logic of plausible reasoning, uncertain knowledge representation, semantics of the logic of plausible reasoning
11	Stefan Nölle	Stereo Augmentation of Simulation Results on a Projection Wall by Combining Two Basic ARVIKA Systems.	ISMAR	2002	DBLP DOI BibTeX RDF
11	Jirí Srba	Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard.	ICALP	2002	DBLP DOI BibTeX RDF
11	Markus Holzer 0001, Martin Kutrib	State Complexity of Basic Operations on Nondeterministic Finite Automata.	CIAA	2002	DBLP DOI BibTeX RDF
11	Tang-Ho Lê, Luc Lamontagne	Defining Basic Units for Knowledge Interchange.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
11	Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran	Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.	TABLEAUX	2002	DBLP DOI BibTeX RDF
11	Valery A. Nepomniaschy, Nikolay V. Shilov 0002, Evgeny V. Bodin, Vitaly E. Kozura	Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.	IFM	2002	DBLP DOI BibTeX RDF
11	Achal Prabhakar, Vladimir Getov, Barbara M. Chapman	Performance Comparisons of Basic OpenMP Constructs.	ISHPC	2002	DBLP DOI BibTeX RDF
11	Esteban Tlelo-Cuautle	An efficient biasing technique suitable for any kind of the four basic amplifiers designed at or level.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
11	Jaakko Kurhila, Hanna Varjola	Using Adaptive Hypermedia to Evaluate Basic Arithmetic Skills in Special Education.	ICCHP	2002	DBLP DOI BibTeX RDF
11	Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani	Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.	AISC	2002	DBLP DOI BibTeX RDF
11	Brigitte Verdonk, Annie A. M. Cuyt, Dennis Verschaeren	A precision- and range-independent tool for testing floating-point arithmetric I: basic operations, square root, and remainder.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	IEEE floating-point standard, multiprecision, validation, floating-point, arithmetic
11	David Clark	Visual Basic and the Future of Web-Application Development.	Computer	2001	DBLP DOI BibTeX RDF
11	Yuan Yan Tang, Feng Yang, Jiming Liu 0001	Basic Processes of Chinese Character Based on Cubic B-Spline Wavelet Transform.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	cubic B-spline, character processing, type zooming-in, typeface composition, Wavelet, compression
11	Andreas Jakoby, Maciej Liskiewicz	The Complexity of Some Basic Problems for Dynamic Process Graphs.	ISAAC	2001	DBLP DOI BibTeX RDF
11	Colin Stirling	Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes.	FoSSaCS	2001	DBLP DOI BibTeX RDF
11	Yevgenia Khodor, Julia Khodor, Thomas F. Knight Jr.	Experimental Conformation of the Basic Principles of Length-only Discrimination.	DNA	2001	DBLP DOI BibTeX RDF
11	Ioannis Chatzigiannakis, Sotiris E. Nikoletseas, Nearchos Paspallis, Paul G. Spirakis, Christos D. Zaroliagis	An Experimental Study of Basic Communication Protocols in Ad-hoc Mobile Networks.	WAE	2001	DBLP DOI BibTeX RDF
11	Richard Mayr	On the Complexity of Bisimulation Problems for Basic Parallel Processes.	ICALP	2000	DBLP DOI BibTeX RDF
11	Beate Bollig, Ingo Wegener	Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems.	ICALP	2000	DBLP DOI BibTeX RDF
11	Arvind Mehta	Smart modeling: smart modeling - basic methodology and advanced tools.	WSC	2000	DBLP DOI BibTeX RDF
11	Bev Littlewood, Lorenzo Strigini	Software reliability (tutorial session): basic concepts and assessment methods.	ICSE	2000	DBLP DOI BibTeX RDF
11	Xavier Blanc 0001, Marie-Pierre Gervais, Juliette Le Delliou	A Comparison of the Basic DO Concepts in Standardization.	DOA	2000	DBLP DOI BibTeX RDF
11	J. A. Stegemann, N. R. Buenfeld	A Glossary of Basic Neural Network Terminology for Regression Problems.	Neural Comput. Appl.	1999	DBLP DOI BibTeX RDF
11	Ana Isabel González, Manuel Graña, Marie Cottrell	Basic Competitive Neural Networks as Adaptive Mechanisms for Non-Stationary Colour Quantisation.	Neural Comput. Appl.	1999	DBLP DOI BibTeX RDF
11	Reinhard Eckhorn	Neural mechanisms of scene segmentation: recordings from the visual cortex suggest basic circuits for linking field models.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
11	Jitka Stríbrná	Approximating Weak Bisimulation on Basic Process Algebras.	MFCS	1999	DBLP DOI BibTeX RDF
11	Cezar Câmpeanu, Karel Culík II, Kai Salomaa, Sheng Yu 0001	State Complexity of Basic Operations on Finite Languages.	WIA	1999	DBLP DOI BibTeX RDF
11	Yumin Zhang, Xiaobo Hu 0001, Danny Z. Chen	Low energy register allocation beyond basic blocks.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
11	Chih-Fang Wang, Sartaj Sahni	Basic Operations on the OTIS-Mesh Optoelectronic Computer.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	window broadcast, data sum, data accumulation, consecutive sum, adjacent sum, random access read, random access write, broadcast, distribute, rank, generalize, sorting, concentrate, prefix sum, shift, optoelectronic, OTIS-Mesh
11	Petr Hájek 0001	Basic fuzzy logic and BL-algebras.	Soft Comput.	1998	DBLP DOI BibTeX RDF
11	George J. Klir, Yi Pan	Constrained fuzzy arithmetic: Basic questions and some answers.	Soft Comput.	1998	DBLP DOI BibTeX RDF	Fuzzy interval, standard fuzzy arithmetic, constrained fuzzy arithmetic, linguistic variable
11	Stefano Aguzzoli	A note on the representation of McNaughton lines by basic literals.	Soft Comput.	1998	DBLP DOI BibTeX RDF
11	Jens Knoop, Dirk Koschützki, Bernhard Steffen	Basic-Block Graphs: Living Dinosaurs?	CC	1998	DBLP DOI BibTeX RDF
11	Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor, Thilo Weigel, Bruno Welsch	The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills.	RoboCup	1998	DBLP DOI BibTeX RDF
11	Steven O. Kimbrough	Sketch of a Basic Theory for a Formal Language for Business Communication.	HICSS (5)	1998	DBLP DOI BibTeX RDF
11	Iain S. Duff, Michele Marrone, Giuseppe Radicati, Carlo Vittoli	Level 3 Basic Linear Algebra Subprograms for Sparse Matrices: A User-Level Interface.	ACM Trans. Math. Softw.	1997	DBLP DOI BibTeX RDF	iterative solution, programming standards, sparse data structures, high-performance computing, sparse matrices, sparse BLAS
11	Fujio Yamaguchi, Masatoshi Niizeki	Some basic geometric test conditions in terms of Plücker coordinates and Plücker coefficients.	Vis. Comput.	1997	DBLP DOI BibTeX RDF	Homogeneous geometry, Plücker coordinates, 4×4 Determinant method, Computational geometry, Computer graphics, Geometric modeling, Projective geometry, Computer-aided geometric design