Search results for "BASIC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Egon Börger, Giuseppe Del Castillo	A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study.	ICECCS	1995	DBLP DOI BibTeX RDF	real-life processor, APE100 Reverse Engineering, modular structuring, microprocessor zCPU, APE100 massively parallel machine, provably correct composition, formal specification, formal method, reverse engineering, parallel architectures
13	Robert Nieuwenhuis, Albert Rubio	Basic Superposition is Complete.	ESOP	1992	DBLP DOI BibTeX RDF
13	Nicola Leone, Antonella Mecchia, Giuseppe Rossi, Pasquale Rullo	The Basic Query Machine of the KIWIS System.	CAiSE	1992	DBLP DOI BibTeX RDF
13	Charles Rackoff	A Basic Theory of Public and Private Cryptosystems.	CRYPTO	1988	DBLP DOI BibTeX RDF
13	Mirjana Zafirovic-Vukotic, Ignas G. Niemegeers	Performance modelling of the Orwell basic access mechanism.	Comput. Commun. Rev.	1987	DBLP DOI BibTeX RDF
13	Janis E. Qualls	FSU PLATO project: basic skills in math for Florida High Schools.	ACM Southeast Regional Conference	1980	DBLP DOI BibTeX RDF
13	Charles L. Lawson, Richard J. Hanson, D. R. Kincaid, Fred T. Krogh	Algorithm 539: Basic Linear Algebra Subprograms for Fortran Usage [F1].	ACM Trans. Math. Softw.	1979	DBLP DOI BibTeX RDF	FORTRAN
13	Hongming Yang, Jan W. M. Bergmans, Tim C. W. Schenk, Jean-Paul M. G. Linnartz, Ronald Rietman	Uniform Illumination Rendering Using an Array of LEDs: A Signal Processing Perspective.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
13	Xiaobing Wu, Yufei Tao 0001, Raymond Chi-Wing Wong, Ling Ding, Jeffrey Xu Yu	Finding the influence set through skylines.	EDBT	2009	DBLP DOI BibTeX RDF
13	Lixuan Lu, Jin Jiang 0001	Joint Failure Importance for Noncoherent Fault Trees.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
13	Bernard Goossens	The Instruction Register File.	PaCT	2003	DBLP DOI BibTeX RDF
13	Sylvie C. W. Ong, Surendra Ranganath, Y. V. Venkatesh	Modeling layered meaning with gesture parameters.	ICARCV	2002	DBLP DOI BibTeX RDF
13	Sylvie C. W. Ong, Surendra Ranganath, Y. V. Venkatesh	Deciphering Layered Meaning in Gestures.	ICPR (3)	2002	DBLP DOI BibTeX RDF
11	Manoli Albert, Jordi Cabot, Cristina Gómez 0001, Vicente Pelechano	Automatic generation of basic behavior schemas from UML class diagrams.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Behavior schema, Structural event, UML, OCL, Operation, Class diagram
11	Muhammad Adnan Tariq, Boris Koldehofe, Ala Altaweel, Kurt Rothermel	Providing basic security mechanisms in broker-less publish/subscribe systems.	DEBS	2010	DBLP DOI BibTeX RDF	security, P2P, publish/subscribe
11	Javier D. Fernández, Claudio Gutierrez 0001, Miguel A. Martínez-Prieto	RDF compression: basic approaches.	WWW	2010	DBLP DOI BibTeX RDF	semantic web, compression, rdf
11	Pongphan Leelatien, Xiaoli Chu, Panagiotis Kosmas	FDTD-based analysis of basic propagation mechanisms in urban environments.	IWCMC	2010	DBLP DOI BibTeX RDF	radio propagation, reflection, WiMAX, FDTD, diffraction
11	Dieter Drobny, Jan O. Borchers	Learning basic dance choreographies with different augmented feedback modalities.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	motor skill learning, wireless sensor system, tactile feedback, dancing
11	Takafumi Matsumaru, Yuichi Ito, Wataru Saitou	The step-on interface (SOI) on a mobile platform: basic functions.	HRI	2010	DBLP DOI BibTeX RDF	friendly-amusing mobile (fam) function, range scanner, step-on interface (soi), human-robot interaction, projector
11	Susan Lysecky, Frank Vahid	Enabling nonexpert construction of basic sensor-based systems.	ACM Trans. Comput. Hum. Interact.	2009	DBLP DOI BibTeX RDF	eBlocks, embedded computing systems, Sensor networks, Boolean logic, truth tables
11	András Bakó, Péter Földesi, István Szüts	Determination the Basic Network Algorithms with Gains.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF	Gain function, shortest path with gain, maximal flow, multiterminal minimal path
11	Anna Esposito, Maria Teresa Riviello, Nikolaos G. Bourbakis	Cultural Specific Effects on the Recognition of Basic Emotions: A Study on Italian Subjects.	USAB	2009	DBLP DOI BibTeX RDF	Perceptually privileged emotions, cultural specificity, effect of communication modes
11	Alessandro Colantonio, Roberto Di Pietro, Alberto Ocello, Nino Vincenzo Verde	A Probabilistic Bound on the Basic Role Mining Problem and Its Applications.	SEC	2009	DBLP DOI BibTeX RDF
11	Eric Brangier, Jérôme Dinet, Laurent Eilrich	The 7 Basic Functions of a Digital Library - Analysis of Focus Groups about the Usefulness of a Thematic Digital Library on the History of European Integration.	HCI (8)	2009	DBLP DOI BibTeX RDF	ENA, European integration, digital library, functions, user-centred design, user requirements, user needs, function analysis
11	Janos Korn	Basic Notions and Models in Systems Science.	Complex (1)	2009	DBLP DOI BibTeX RDF	systemic view, linguistic modeling, sets of ordered pairs, sequences of predicate logic statements
11	John Vrettaros, George A. Vouros, Athanasios Drigas	An Expedient Study on Back-Propagation (BPN) Neural Networks for Modeling Automated Evaluation of the Answers and Progress of Deaf Students' That Possess Basic Knowledge of the English Language and Computer Skills.	WSKS (2)	2009	DBLP DOI BibTeX RDF	Back-propagation Network models, Neural Networks, diagnosis
11	Miguel-Ángel Sicilia, Leopoldo Santos	Main Elements of a Basic Ontology of Infrastructure Interdependency for the Assessment of Incidents.	WSKS (1)	2009	DBLP DOI BibTeX RDF	rules OWL, ontologies, critical infrastructures, Emergency management, SWRL, situation assessment
11	Motoki Miura, Taro Sugihara, Susumu Kunifuji	Anchor garden: an interactive workbench for basic data concept learning in object oriented programming languages.	ITiCSE	2009	DBLP DOI BibTeX RDF	object-orientation, CS1, data type, reference
11	Chad E. Brown, Gert Smolka	Terminating Tableaux for the Basic Fragment of Simple Type Theory.	TABLEAUX	2009	DBLP DOI BibTeX RDF
11	Lewis D. Griffin, Martin Lillholm, Michael Crosier, Justus van Sande	Basic Image Features (BIFs) Arising from Approximate Symmetry Type.	SSVM	2009	DBLP DOI BibTeX RDF	Group Theory, Gaussian Derivatives, Hermite Transform
11	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
11	Sergio Andreozzi, Moreno Marzolla	A RESTful Approach to the OGSA Basic Execution Service Specification.	ICIW	2009	DBLP DOI BibTeX RDF
11	Massimo Caccia, Marco Bibuli, Riccardo Bono, Gabriele Bruzzone	Basic navigation, guidance and control of an Unmanned Surface Vehicle.	Auton. Robots	2008	DBLP DOI BibTeX RDF	Marine robotics, Guidance systems, Autonomous vehicles
11	Gemma Robles, José M. Méndez	The basic constructive logic for a weak sense of consistency.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Ternary relational semantics, Paraconsistent Logic, Substructural logics, Constructive negation
11	Gemma Robles	The Basic Constructive Logic for Negation-Consistency.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Ternary relational semantics, Paraconsistent logic, Substructural logics, Constructive negation
11	Jian Zhang 0001, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu	Basic research in computer science and software engineering at SKLCS.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	human-computer interaction, real-time system, parallel algorithms, middleware, formal specification, computer graphics, software process, automated reasoning, concurrency theory
11	Miki Hirabayashi, Hirotada Ohashi, Tai Kubo	Experimental analysis of the basic idea on the transcription-based diagnostic automata controlled by programmed molecules.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Nucleic acid detection systems, Molecular programming, Autonomous diagnostic devices, Molecular circuits, DNA computing, Biomolecular computing
11	Arkadiusz Tomczyk, L. Pieta, Piotr S. Szczepaniak	Potential Active Contours - Basic Concepts, Mechanisms and Features.	Information Technologies in Biomedicine	2008	DBLP DOI BibTeX RDF
11	Maciej Smiatacz	Practical Evaluation of the Basic Concepts for Face Localization.	Computer Recognition Systems 2	2008	DBLP DOI BibTeX RDF
11	Masataka Suzuki, Shinya Kitai, Shigeo Hirose	Basic systematic experiments and new type child unit of Anchor Climber: Swarm type wall climbing robot system.	ICRA	2008	DBLP DOI BibTeX RDF
11	Markus Stocker, Andy Seaborne, Abraham Bernstein, Christoph Kiefer, Dave Reynolds	SPARQL basic graph pattern optimization using selectivity estimation.	WWW	2008	DBLP DOI BibTeX RDF	query optimization, SPARQL, selectivity estimation
11	Feyza Keceli, Inanc Inan, Ender Ayanoglu	Achieving Fair TCP Access in the IEEE 802.11 Infrastructure Basic Service Set.	ICC	2008	DBLP DOI BibTeX RDF
11	Shanai Ardi, Nahid Shahmehri	Integrating a Security Plug-in with the OpenUP/Basic Development Process.	ARES	2008	DBLP DOI BibTeX RDF	Security plug-in, Software development process, Software security
11	Ping-Tsung Wu, Tzu-Chun Chang, Ching-Lung Su, Jiun-In Guo	A H.264 basic-unit level rate control algorithm facilitating hardware realization.	ICASSP	2008	DBLP DOI BibTeX RDF
11	Markus Kirchberg	Abstract State Machine Models for Basic Service-Oriented Architectures.	APSCC	2008	DBLP DOI BibTeX RDF
11	Philip I. Pavlik, Thomas Bolster, Sue-mei Wu, Kenneth R. Koedinger, Brian MacWhinney	Using Optimally Selected Drill Practice to Train Basic Facts.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	practice scheduling, prerequisites, computer assisted instruction
11	Sergio Bittanti, Simone Garatti	Revisiting the basic issue of parameter estimation in system identification - a new approach for multi-value estimation.	CDC	2008	DBLP DOI BibTeX RDF
11	Min Lu, Xiaoyu Jin	Analysis of a C Language Teaching Example Based on the ARCS Model: The Basic Concept and Use of Structure.	ICYCS	2008	DBLP DOI BibTeX RDF
11	Fabio Cuzzolin	Alternative Formulations of the Theory of Evidence Based on Basic Plausibility and Commonality Assignments.	PRICAI	2008	DBLP DOI BibTeX RDF
11	Wei Jin	Pre-programming analysis tutors help students learn basic programming concepts.	SIGCSE	2008	DBLP DOI BibTeX RDF	active learning, pedagogy, CS1, curriculum development, scaffolding, cognitive tutors, introduction to programming
11	Christian Wolter, Andreas Schaad, Christoph Meinel	Task-based entailment constraints for basic workflow patterns.	SACMAT	2008	DBLP DOI BibTeX RDF	task-based entailment constraints, access control, workflow management, separation of duty, workflow modelling
11	Da Rui Chen, Ying Jun Zhang	On Throughput Limit of Multi-Rate IEEE 802.11 WLANs: Basic Access vs. RTS/CTS Access.	WCNC	2008	DBLP DOI BibTeX RDF
11	Ewa Straszecka	Combining Basic Probability Assignments for Fuzzy Focal Elements.	ICAISC	2008	DBLP DOI BibTeX RDF
11	Joseph L. McClay, Edwin J. C. G. van den Oord	A Theoretical Systems Biology Analysis Suggests Gene-Environment Interaction Effects are Common at the Most Basic Levels of Biological Organization.	BMEI (1)	2008	DBLP DOI BibTeX RDF	interaction, systems, environment, gene, kinetics
11	Guomin Zhang, Jianping Zhang	The Issue of Robot Education in China's Basic Education and its Strategies.	RAM	2008	DBLP DOI BibTeX RDF
11	Yongxi Cheng	Generating Combinations by Three Basic Operations.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	generating combinations, prefix shifts, gray codes
11	X. Sherab Chen, Tingting Lu	Usability Assessment of an E-Learning Courseware for Basic Cataloging.	HCI (4)	2007	DBLP DOI BibTeX RDF	library cataloging training, usability, E-learning
11	Noriyo Hara, Toshiya Naka, Etsuko T. Harada	How Can We Make IT Devices Easy for Older Adults? Effects of Repetitive Basic Operation Training and Help-Guidance on Learning of Electronic Program Guide System.	HCI (5)	2007	DBLP DOI BibTeX RDF	Help-guidance, Repeated practice, Electronic Program Guide (EPG) system, Error spiral, Errorless learning, Usability testing
11	Thomas Vetterlein	Towards a Proof Theory for Basic Logic.	IFSA (2)	2007	DBLP DOI BibTeX RDF
11	Maria Carla Palmeri, Rocco De Nicola, Mieke Massink	Basic Observables for Probabilistic May Testing.	QEST	2007	DBLP DOI BibTeX RDF
11	Benjamin Doerr, Daniel Johannsen	Refined runtime analysis of a basic ant colony optimization algorithm.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
11	Andreas Borg, Mikael Patel, Kristian Sandahl	Extending the OpenUP/Basic Requirements Discipline to Specify Capacity Requirements.	RE	2007	DBLP DOI BibTeX RDF
11	Feyza Keceli, Inanc Inan, Ender Ayanoglu	TCP ACK Congestion Control and Filtering for Fairness Provision in the Uplink of IEEE 802.11 Infrastructure Basic Service Set.	ICC	2007	DBLP DOI BibTeX RDF
11	Ahmed Sherif Zekri, Stanislav G. Sedukhin	Evaluating the Performance of Basic Linear Algebra Subroutines on a Torus Array Processor.	CIT	2007	DBLP DOI BibTeX RDF
11	David R. Luginbuhl	Basic research opportunities in computer science through the United States Air Force.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF
11	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Syntax and Basic Parsing.	All About Maude	2007	DBLP DOI BibTeX RDF
11	Yo-Sub Han, Kai Salomaa	State Complexity of Basic Operations on Suffix-Free Regular Languages.	MFCS	2007	DBLP DOI BibTeX RDF
11	Christophe Jelger, Christian F. Tschudin, Stefan Schmid 0002, Guy Leduc	Basic Abstractions for an Autonomic Network Architecture.	WOWMOM	2007	DBLP DOI BibTeX RDF
11	Mijeom Kim, Mohan Kumar, Behrooz A. Shirazi, Hakjin Chong	A Novel Architecture for Provisioning Basic Services in Heterogeneous Pervasive Environments.	WOWMOM	2007	DBLP DOI BibTeX RDF
11	Kang Zhao, Jinian Bian, Sheqin Dong	A Fast Custom Instructions Identification Algorithm based on Basic Convex Pattern Model for Supporting ASIP Automated Design.	CSCWD	2007	DBLP DOI BibTeX RDF
11	Romain Kuntz	Deploying Reliable IPv6 Temporary Networks Thanks to NEMO Basic Support and Multiple Care-of Addresses Registration.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
11	Gabriel Jakobson, John F. Buford, Lundy Lewis	Situation Management: Basic Concepts and Approaches.	IF&GIS	2007	DBLP DOI BibTeX RDF
11	Gergei Bana, Koji Hasebe, Mitsuhiro Okada	Computational Semantics for Basic Protocol Logic - A Stochastic Approach.	ASIAN	2007	DBLP DOI BibTeX RDF	formal methods, cryptographic protocols, first order logic, computational semantics
11	Georgios Amanatidis, Alexandra Boldyreva, Adam O'Neill	Provably-Secure Schemes for Basic Query Support in Outsourced Databases. (PDF / PS)	DBSec	2007	DBLP DOI BibTeX RDF
11	Rudolf Wille	The Basic Theorem on Labelled Line Diagrams of Finite Concept Lattices.	ICFCA	2007	DBLP DOI BibTeX RDF
11	Yoshihiro Kuroda, Makoto Hirai, Megumi Nakao, Toshihiko Sato, Tomohiro Kuroda, Yasushi Masuda, Osamu Oshiro	Construction of Training Environment for Surgical Exclusion with a Basic Study of Multi-finger Haptic Interaction.	WHC	2007	DBLP DOI BibTeX RDF
11	Ahmed Sherif Zekri, Stanislav G. Sedukhin	Performance Evaluation of Basic Linear Algebra Subroutines on a Matrix Co-processor.	PPAM	2007	DBLP DOI BibTeX RDF
11	Mohammad Fazle Azeem, Asim Baig	Design and Fabrication of Basic Building Blocks For Analog Implementation of Programmable Fuzzy Logic Controller.	IRI	2007	DBLP DOI BibTeX RDF
11	Kai Reinhard, Wolfgang Jung	Compliance of POLYAS with the BSI Protection Profile - Basic Requirements for Remote Electronic Voting Systems.	VOTE-ID	2007	DBLP DOI BibTeX RDF
11	Dana Glasner, Rocco A. Servedio	Distribution-Free Testing Lower Bounds for Basic Boolean Functions.	APPROX-RANDOM	2007	DBLP DOI BibTeX RDF
11	Roberto E. Lopez-Herrejon, Sven Apel	Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies.	FASE	2007	DBLP DOI BibTeX RDF
11	Mariana Teif, Orit Hazzan	Partonomy and taxonomy in object-oriented thinking: junior high school students' perceptions of object-oriented basic concepts.	ACM SIGCSE Bull.	2006	DBLP DOI BibTeX RDF	junior high school students' perceptions, partonomy, object-oriented programming, taxonomy
11	Steffen Becker 0001, Wilhelm Hasselbring, Alexandra Paul, Marko Boskovic, Heiko Koziolek, Jan Ploski, Abhishek Dhama, Henrik Lipskoch, Matthias Rohr, Daniel Winteler, Simon Giesecke, Roland Meyer 0001, Mani Swaminathan, Jens Happe, Margarete Muhle, Timo Warns	Trustworthy software systems: a discussion of basic concepts and terminology.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
11	Philip H. P. Nguyen, Dan Corbett	A Basic Mathematical Framework for Conceptual Graphs.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	Graph algorithms, ontology design, knowledge representation formalisms and methods
11	Youcef Baghdadi	Reverse engineering relational databases to identify and specify basic Web services with respect to service oriented computing.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	Transformation pattern, CRUD operations pattern, Reverse engineering process, Web services, Service-oriented architecture, Relational databases, Service-oriented computing, CASE tool, Application architecture
11	ZhiYu Chen, Besma R. Abidi, David L. Page, Mongi A. Abidi	Gray-level grouping (GLG): an automatic method for optimized image contrast Enhancement-part I: the basic method.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
11	Alexander A. Letichevsky	Basic Protocols: Specification Language for Distributed Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
11	Masayuki Hara, Jian Huang 0008, Young-Mi Jung, Tetsuro Yabuta	Basic Study on Sensory Aspects of a Master/Slave System for Force Telecommunication.	IROS	2006	DBLP DOI BibTeX RDF
11	Sven F. Crone, Jose Guajardo, Richard Weber 0002	A study on the ability of Support Vector Regression and Neural Networks to Forecast Basic Time Series Patterns.	IFIP AI	2006	DBLP DOI BibTeX RDF
11	Robert M. Haralick	Basic Concepts For Testing The Torah Code Hypothesis.	ICPR (3)	2006	DBLP DOI BibTeX RDF
11	Jianyun Chen, Xinyu Zhao, Duan Miyi, Tingting Wu, Songyang Lao	Automatic Multi-level Summarizations Generation Based on Basic Semantic Unit for Sports Video.	PRICAI	2006	DBLP DOI BibTeX RDF
11	Linh Anh Nguyen	The Data Complexity of MDatalog in Basic Modal Logics.	MFCS	2006	DBLP DOI BibTeX RDF
11	Xin Wang 0012, Zhongjie Wang, Jun Tao	Multiple Neural Network Modeling Method for Carbon and Temperature Estimation in Basic Oxygen Furnace.	ISNN (2)	2006	DBLP DOI BibTeX RDF
11	Michael Einhaus, Ole Klein	Performance Evaluation of a Basic OFDMA Scheduling Algorithm for Packet Data Transmissions.	ISCC	2006	DBLP DOI BibTeX RDF
11	Jie Guo 0007, Gleb Belov, Gerhard P. Fettweis	A Basic Data Routing Model for a Coarse-Grain Reconfigurable Hardware.	ARC	2006	DBLP DOI BibTeX RDF
11	Petra Gehring, Rudolf Wille	Semantology: Basic Methods for Knowledge Representations.	ICCS	2006	DBLP DOI BibTeX RDF
11	Christian Burgmann, Rudolf Wille	The Basic Theorem on Preconcept Lattices.	ICFCA	2006	DBLP DOI BibTeX RDF
11	Victor Korotkikh, Galina Korotkikh	On Basic Principles of Intelligent Systems Design.	HIS	2006	DBLP DOI BibTeX RDF
11	N. Srisawaivilai, Supavadee Aramvith	Improved frame and basic unit layers bit allocation scheme for H.264 video transmission over ARQ-based wireless channels.	ISCAS	2006	DBLP DOI BibTeX RDF
11	Siew-Chong Tan, Yuk-Ming Lai, C. K. Tse	A family of PWM based sliding mode voltage controllers for basic DC-DC converters.	ISCAS	2006	DBLP DOI BibTeX RDF