Search results for "extension"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Artem Alimarine, Marinus J. Plasmeijer	A Generic Programming Extension for Clean.	IFL	2001	DBLP DOI BibTeX RDF
10	Patricio García Báez, Carmen Paz Suárez Araujo, Pablo Fernández López	Extension of HUMANN for Dealing with Noise and with Classes of Different Shape and Size: A Parametric Study.	IWANN (2)	2001	DBLP DOI BibTeX RDF
10	Arutyun Avetisyan, Serguei Gaissaryan, Oleg I. Samovarov	Extension of Java Environment by Facilities Supporting Development of SPMD Java-Programs.	PaCT	2001	DBLP DOI BibTeX RDF
10	Silvano Maneck Malfatti, Deise Juliana Francisco, Maria Augusta Silveira Netto Nunes, Selan Rodrigues dos Santos	Logo3D - An Extension Three-Dimensional of LOGO.	SIBGRAPI	2001	DBLP DOI BibTeX RDF
10	Eun-Sun Cho, Sunho Hong, Sechang Oh, Hongjin Yeh, Manpyo Hong, Cheol Won Lee, Hyundong Park, Chun-Sik Park	SKETHIC: Secure Kernel Extension against Trojan Horses with Information-Carrying Codes.	ACISP	2001	DBLP DOI BibTeX RDF
10	Giuseppe Lipari, Sanjoy K. Baruah	A Hierarchical Extension to the Constant Bandwidth Server Framework.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF	Constant-bandwidth server, Hierarchical composition, Inter-application isolation, Bandwidth reclamation, Earliest deadline first, Preemptive scheduling
10	Albert Brunner	Zürich Airport Extension Project: Digital Support for Earthwork Construction.	Digital Earth Moving	2001	DBLP DOI BibTeX RDF
10	Chi-Hsiang Yeh, Behrooz Parhami	Parallel Algorithms for Index-Permutation Graphs - An Extension of Cayley Graphs for Multiple Chip-Multiprocessors (MCMP).	ICPP	2001	DBLP DOI BibTeX RDF
10	Pierfrancesco Bellini, Paolo Nesi	TILCO-X, an Extension of TILCO Temporal Logic.	ICECCS	2001	DBLP DOI BibTeX RDF	real-time systems, first order logic, verification and validation, formal specification language, temporal operators, temporal interval logic
10	Andrew Dabrowski, Lawrence S. Moss	The Johnson Graphs Satisfy a Distance Extension Property.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C12, 05C80
10	Tim O'Neill, John Leaney, Philip Martyn	Architecture-Based Performance Analysis of the COLLINS Class Submarine Open System Extension (COSE) Concept Demonstrator (CD).	ECBS	2000	DBLP DOI BibTeX RDF	open computer based system, layered activity cycle diagram, performance analysis, system architecture
10	Gwangil Jeon, Tae-Hyung Kim, Seongsoo Hong, Sunil Kim	A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems.	LCTES	2000	DBLP DOI BibTeX RDF
10	Michael Hanus, Frank Huch, Philipp Niederau	ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry.	IFL	2000	DBLP DOI BibTeX RDF
10	Robert Demolombe, Maria del Pilar Pozos Parra	A Simple and Tractable Extension of Situation Calculus to Epistemic Logic.	ISMIS	2000	DBLP DOI BibTeX RDF
10	Joseph O'Rourke	An Extension of Cauchy's Arm Lemma with Application to Curve Development.	JCDCG	2000	DBLP DOI BibTeX RDF
10	Jun Yang 0001, Huacheng C. Ying, Jennifer Widom	TIP: A Temporal Extension to Informix.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
10	Bernhard Bauer, Jörg P. Müller, James Odell	An Extension of UML by Protocols for Multiagent Interaction.	ICMAS	2000	DBLP DOI BibTeX RDF
10	Peter W. Eklund, Bernd Groh, Gerd Stumme, Rudolf Wille	A Contextual-Logic Extension of TOSCANA.	ICCS	2000	DBLP DOI BibTeX RDF
10	Sylvain Contassot-Vivier, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe 0001	Specification of a Scilab Meta-Computing Extension.	ICPP Workshops	2000	DBLP DOI BibTeX RDF	numerical applications, parallelism, CORBA, trading, meta-computing, Scilab
10	Peter Maly, C. Murray Woodside	Layered Modeling of Hardware and Software, with Application to a LAN Extension Router.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
10	Cristiano Calcagno, Eugenio Moggi	Multi-Stage Imperative Languages: A Conservative Extension Result.	SAIG	2000	DBLP DOI BibTeX RDF
10	Chang-Shing Perng, Douglas Stott Parker Jr.	SQL/LPP: A Time Series Extension of SQL Based on Limited Patience Patterns.	DEXA	1999	DBLP DOI BibTeX RDF
10	Claudio Demartini, Radu Iosif, Riccardo Sisto	dSPIN: A Dynamic Extension of SPIN.	SPIN	1999	DBLP DOI BibTeX RDF
10	Marco Catunda, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy	Dynamic Extension of CORBA Servers.	Euro-Par	1999	DBLP DOI BibTeX RDF
10	Stamatis Vassiliadis, Sorin Cotofana, Pyrrhos Stathis	Vector ISA Extension for Sparse Matrix-Vector Multiplication.	Euro-Par	1999	DBLP DOI BibTeX RDF
10	Martin S. Schmookler, Michael Putrino, Anh Mather, Jon Tyler, Huy Van Nguyen, Charles Roth, Mukesh Sharma, Mydung N. Pham, Jeff Lent	A Low-Power, High-Speed Implementation of a PowerPC(tm) Microprocessor Vector Extension.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
10	Jesper G. Henriksen	An Expressive Extension of TLC.	ASIAN	1999	DBLP DOI BibTeX RDF
10	Yuan Miao 0001, Zhi-Qiang Liu, Shi Li 0002, Chee Kheong Siew	Dynamical Cognitive Network - An Extension of Fuzzy Cognitive Map.	ICTAI	1999	DBLP DOI BibTeX RDF
10	Kevin M. Obenland, John Kowalik, Tiffany Frazier, Jin S. Kim	Comparing the Real-Time Performance of Windows NT to an NT Real-Time Extension.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
10	Anna Mikhajlova	Consistent Extension of Components in the Presence of Explicit Invariants.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	semantic conformance, component extensions, explicit invariants, refinement, consistency, inheritance, forwarding
10	Christian Böhm 0001, Gerald Klump, Hans-Peter Kriegel	XZ-Ordering: A Space-Filling Curve for Objects with Spatial Extension.	SSD	1999	DBLP DOI BibTeX RDF
10	Ian Welch, Robert J. Stroud	From Dalang to Kava - The Evolution of a Reflective Java Extension.	Reflection	1999	DBLP DOI BibTeX RDF
10	Shigeo Sugimoto, Akira Maeda, Myriam Dartois, Jun Ohta, Shigetaka Nakao, Tetsuo Sakaguchi, Koichi Tabata	Experimental Studies on an Applet-based Document Viewer for Multilingual WWW Documents - Functional Extension of and Lessons Learned from Multilingual HTML.	ECDL	1998	DBLP DOI BibTeX RDF	Multilingual Document Browsing, Off-the-Shelf WWW Browsers, Multilingual Texts Display and Input, Text Retrieval in Multiple Scripts
10	Shigeyoshi Tsutsui	Multi-parent Recombination in Genetic Algorithms with Search Space Boundary Extension by Mirroring.	PPSN	1998	DBLP DOI BibTeX RDF
10	Malolan Chetlur, Girindra D. Sharma, Nael B. Abu-Ghazaleh, Umesh Kumar V. Rajasekaran, Philip A. Wilsey	An Active Layer Extension to MPI.	PVM/MPI	1998	DBLP DOI BibTeX RDF
10	Pietro Di Gianantonio, Furio Honsell, Luigi Liquori	A Lambda Calculus of Objects with Self-Inflicted Extension.	OOPSLA	1998	DBLP DOI BibTeX RDF
10	Rhodora L. Reyes	A Domain Theory Extension of a Student Modeling System for Pascal Programming.	Intelligent Tutoring Systems	1998	DBLP DOI BibTeX RDF
10	Luigi Liquori	On Object Extension.	ECOOP	1998	DBLP DOI BibTeX RDF
10	Farid Benhammadi, Pascal Nicolas, Torsten Schaub	Extension Calculus and Query Answering in Prioritized Default Logic.	AIMSA	1998	DBLP DOI BibTeX RDF	knowledge representation, priorities, nonmonotonic reasoning, default logic, logic for artificial intelligence
10	Kazuhiko Eguchi, Satoshi Yamane, Hideo Sugi, Kenji Oshima	Sensing of Arc Length and Wire Extension Using Neural Network in Robotic Welding.	Rough Sets and Current Trends in Computing	1998	DBLP DOI BibTeX RDF
10	Florent Jacquemard, Christoph Meyer 0001, Christoph Weidenbach	Unification in Extension of Shallow Equational Theories.	RTA	1998	DBLP DOI BibTeX RDF
10	Claudio Lourenço da Silva, Ana Cristina Bicharra Garcia	SpADD: An Active Design Documentation Framework Extension Applied to Spatial Layout Design Problems.	IBERAMIA	1998	DBLP DOI BibTeX RDF
10	Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo	Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada.	Ada-Europe	1998	DBLP DOI BibTeX RDF
10	Hans Fleischhack, Josef Tapken	An M-Net Semantics for a Real-Time Extension of µSDL.	FME	1997	DBLP DOI BibTeX RDF
10	Vinaya Revannaswamy, P. C. P. Bhatt	A Fault Tolerant Protocol As an Extension to a Distributed Mutual Exclusion Algorithm.	ICPADS	1997	DBLP DOI BibTeX RDF	fault tolerance, distributed algorithms, Computer networks, mutual exclusion, critical section, network partitioning, token passing
10	Unnikrishnan R. Nair, Donna J. Quammen, Daniel Tabak	Superscalar Extension for the Multris Processor.	EUROMICRO	1997	DBLP DOI BibTeX RDF
10	Javier Miranda, Angel Alvarez, Sergio Arévalo, Francisco Guerra Santana	Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Distributed Systems, Ada, Tools, Fault-Tolerant Systems, Isis
10	Ricardo Caferra, Nicolas Peltier	A Significant Extension of Logic Programming by Adapting Model Building Rules.	ELP	1996	DBLP DOI BibTeX RDF
10	Giuseppe Bellavia, Dario Maio, Stefano Rizzi	An SQL Extension Supporting User Viewpoints	DEXA	1995	DBLP DOI BibTeX RDF
10	Armin Bäumker, Wolfgang Dittrich, Friedhelm Meyer auf der Heide	Truly Efficient Parallel Algorithms: c-Optimal Multisearch for an Extension of the BSP Model (Extended Abstract).	ESA	1995	DBLP DOI BibTeX RDF
10	Shelly S. Stubbs, Doris L. Carver	IPCC++: A C++ Extension for InterProcess Communication with Objects.	COMPSAC	1995	DBLP DOI BibTeX RDF	Parallel Programming, Distributed Processing, Object-Oriented Languages, Interprocess Communication
10	Hitoshi Kiya, Kiyoshi Nishikawa, Masahiro Iwahashi	A development of symmetric extension method for subband image coding.	IEEE Trans. Image Process.	1994	DBLP DOI BibTeX RDF
10	Peter R. Bailey, Malcolm C. Newey, David Sitsky, Robin B. Stanton	Supporting Coarse and Fine Grain Parallelism in an Extension of ML.	CONPAR	1994	DBLP DOI BibTeX RDF	parallel granularity, processes, ML, data parallelism, algorithmic skeletons
10	Peter Baumgartner 0001, Ulrich Furbach	PROTEIN: A PROver with a Theory Extension INterface.	CADE	1994	DBLP DOI BibTeX RDF
10	Marc Dacier, Yves Deswarte	Privilege Graph: an Extension to the Typed Access Matrix Model.	ESORICS	1994	DBLP DOI BibTeX RDF
10	Jinhui Chao, Kazuo Tanada, Shigeo Tsujii	Design of Elliptic Curves with Controllable Lower Boundary of Extension Degree for Reduction Attacks.	CRYPTO	1994	DBLP DOI BibTeX RDF
10	Arlynn W. Smith, Ajeet Rohatgi	Non-isothermal extension of the Scharfetter-Gummel technique for hot carrier transport in heterostructure simulations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
10	David A. Basin, Seán Matthews	A Conservative Extension of First-order Logic and Its Application to Theorem Proving.	FSTTCS	1993	DBLP DOI BibTeX RDF
10	John F. Roddick	SQL/SE - A Query Language Extension for Databases Supporting Schema Evolution.	SIGMOD Rec.	1992	DBLP DOI BibTeX RDF	SQL
10	Andy Mück	CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs.	PLILP	1992	DBLP DOI BibTeX RDF
10	Erland Jungert	The Observer's Point of View: An Extension of Symbolic Projections.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
10	Lars Langemyr	Algorithms for a Multiple Algebraic Extension II.	AAECC	1991	DBLP DOI BibTeX RDF
10	Yoichi Shinoda, Takuya Katayama	Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm.	WAGA	1990	DBLP DOI BibTeX RDF
10	Alfred Schmidt, Fevzi Belli	An Extension of PROLOG for Object-Oriented Programming in Logic.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
10	Wang Yi 0001	Real-Time Behaviour of Asynchronous Agents.	CONCUR	1990	DBLP DOI BibTeX RDF
10	Mohommedyusuf M. Sagri	Rated and operating complexity of program - an extension to McCabe's theory of complexity measure.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
10	Gottfried Vossen, Jim Yacabucci	An Extension of the Database Language SQL to Capture More Relational Concepts.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF	SQL
10	Rakesh Agrawal 0001	Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Codd, alpha operator, transitive relationships, project management network, relational databases, query languages, database theory, deductive databases, relational algebra, critical path, recursive functions, recursive queries
10	John Cameron Glasgow II	g is for grammars: an extension of Lisp.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	LISP
10	A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn	A Proper Extension of ML with an Effective Type-Assignment.	POPL	1988	DBLP DOI BibTeX RDF	ML
10	Nikos A. Lorentzos, Roger G. Johnson	An Extension of the Relational Model to Support Generic Intervals.	EDBT	1988	DBLP DOI BibTeX RDF
10	Yasubumi Sakakibara	Programming in Modal Logic: An Extension of PROLOG based on Modal Logic.	LP	1986	DBLP DOI BibTeX RDF
10	Hirofumi Katsuno	An Extension of Conflict-Free Multivalued Dependency Sets.	ACM Trans. Database Syst.	1984	DBLP DOI BibTeX RDF
10	Alfred V. Aho	Indexed Grammars - An Extension of Context-Free Grammars.	J. ACM	1968	DBLP DOI BibTeX RDF
10	Perry A. Scheinok	A computational extension of the variate difference method.	Commun. ACM	1963	DBLP DOI BibTeX RDF
8	Ronald R. Yager	Level sets and the representation theorem for intuitionistic fuzzy sets.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Intuitionistic, Fuzzy sets, Level sets
8	Frederico Araújo Durão, Peter Dolog	Extending a hybrid tag-based recommender system with personalization.	SAC	2010	DBLP DOI BibTeX RDF	information retrieval, personalization, semantic, search, tagging, recommendation
8	Elena Nardini 0001, Mirko Viroli, Emanuele Panzavolta	Coordination in open and dynamic environments with TuCSoN semantic tuple centres.	SAC	2010	DBLP DOI BibTeX RDF	TuCSoN, coordination infrastructure, semantic tuple centre, semantic tuple space computing, semantic web, pervasive computing, description logic, ReSpecT
8	Rodolfo Toledo, Paul Leger, Éric Tanter	AspectScript: expressive aspects for the web.	AOSD	2010	DBLP DOI BibTeX RDF	AspectScript, quantified events, scoping strategies, aspect-oriented programming, web applications, JavaScript, higher-order programming
8	Chih-Ming Chen 0001, Chao-Yu Liu	Personalized e-news monitoring agent system for tracking user-interested Chinese news events.	Appl. Intell.	2009	DBLP DOI BibTeX RDF	News events, News events monitoring agent system, Information retrieval, Intelligent agent
8	Mathias Fritzsche, Hugo Bruneliere, Bert Vanhooff, Yolande Berbers, Frédéric Jouault, Wasif Gilani	Applying Megamodelling to Model Driven Performance Engineering.	ECBS	2009	DBLP DOI BibTeX RDF
8	Ribao Wei, Dingfeng Ye	Delegate predicate encryption and its application to anonymous authentication.	AsiaCCS	2009	DBLP DOI BibTeX RDF	predicate encryption, anonymous authentication
8	Sébastien Angibaud, Guillaume Fertin, Annelyse Thévenin, Stéphane Vialette	Pseudo Boolean Programming for Partially Ordered Genomes.	RECOMB-CG	2009	DBLP DOI BibTeX RDF
8	Jinshuang Wang, Huabing Yang, Xingyuan Zhang	Liveness Reasoning with Isabelle/HOL.	TPHOLs	2009	DBLP DOI BibTeX RDF	Liveness Proof, Inductive Protocol Verification, Parametric Fairness, Probabilistic Model
8	Jochen Kokemüller, Heiko Roßnagel, Anette Weisbecker	Secure Mobile Support of Independent Sales Agencies.	AMCIS/SIGeBIZ	2009	DBLP DOI BibTeX RDF	Independent sales agencies, security, mobile services, design science
8	Ranathunga Arachchilage Ruwan Chandra Gopura, Kazuo Kiguchi, Yang Li	SUEFUL-7: A 7DOF upper-limb exoskeleton robot with muscle-model-oriented EMG-based control.	IROS	2009	DBLP DOI BibTeX RDF
8	Alfredo Capozucca, Nicolas Guelfi	Designing reliable real-time concurrent object-oriented software systems.	SAC	2009	DBLP DOI BibTeX RDF	fault tolerance, real-time, coordinated atomic actions
8	Leonor Becerra-Bonache, Adrian-Horia Dediu	Learning from a Smarter Teacher.	IDEAL	2009	DBLP DOI BibTeX RDF
8	Irith Ben-Arroyo Hartman	On Path Partitions and Colourings in Digraphs.	Graph Theory, Computational Intelligence and Thought	2009	DBLP DOI BibTeX RDF
8	Ilyes Jenhani, Salem Benferhat, Zied Elouedi	On the Use of Clustering in Possibilistic Decision Tree Induction.	ECSQARU	2009	DBLP DOI BibTeX RDF
8	Stefan Wehr, Peter Thiemann 0001	JavaGI in the battlefield: practical experience with generalized interfaces.	GPCE	2009	DBLP DOI BibTeX RDF	JavaGI, external methods, retroactive interface implementation, case studies, multimethods
8	Stefan Hetzl, Alexander Leitsch, Daniel Weller 0001, Bruno Woltzenlogel Paleo	A Clausal Approach to Proof Analysis in Second-Order Logic.	LFCS	2009	DBLP DOI BibTeX RDF
8	Fons Kuijk, Rodrigo Laiola Guimarães, Pablo César, Dick C. A. Bulterman	Adding dynamic visual manipulations to declarative multimedia documents.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	media annotation, pan and zoom, animation, smil, photo sharing, declarative language, content enrichment
8	Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino	A Functorial Framework for Constraint Normal Logic Programming.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 18C50, 68Q55
8	Maria Christopoulou, Theodoulos Garefalakis, Daniel Panario, David Thomson	The trace of an optimal normal element and low complexity normal bases.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classifications 12E20, 12E30, 11T99
8	Mike Ter Louw, Jin Soon Lim, V. N. Venkatakrishnan	Enhancing web browser security against malware extensions.	J. Comput. Virol.	2008	DBLP DOI BibTeX RDF
8	Said Benameur, Max Mignotte, Jean-Paul Soucy, Jean Meunier	Spect image restoration via Recursive Inverse Filtering constrained by a probabilistic MRI atlas.	ICIP	2008	DBLP DOI BibTeX RDF
8	Lotfi Bejaoui, François Pinet, Michel Schneider, Yvan Bédard	An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries.	ER	2008	DBLP DOI BibTeX RDF
8	Alberto Siena, Neil A. M. Maiden, James Lockerbie, Inger Kristine Karlsen, Anna Perini, Angelo Susi	Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability.	CAiSE	2008	DBLP DOI BibTeX RDF
8	Toshihiro Takagi, Takaaki Komura, Shuichi Miyazaki, Yasuo Okabe	Privacy Oriented Attribute Exchange in Shibboleth Using Magic Protocols.	SAINT	2008	DBLP DOI BibTeX RDF