Search results for "theoretical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Michel Latteux	Sur deux langages linéaires.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
24	Kai Wöhl	Zur Komplexität der Presburger Artihmetik und des Äquivalenzproblems einfacher Programme.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
24	Luc Boasson	Context-Free Sets of Infinite Words.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
24	Peter van Emde Boas, Jan van Leeuwen	Move Rules and Trade-Offs in the Pebble Game.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
24	Thomas Ottmann, Arnold L. Rosenberg, Hans-Werner Six, Derick Wood	Node-Visit Optimal 1-2 Brother Trees.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
24	Burchard von Braunmühl, Rutger Verbeek	Finite-Change Automata.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
24	Mila E. Majster-Cederbaum, Angelika Reiser	An Efficient On-Line Position Tree Construction Algorithm.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
24	Albert R. Meyer, Irene Greif	Can Partial Correctness Assertions Specify Programming Language Semantics?.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
24	Victor L. Bennison	Information Content Characterizations of Complexity Theoretic Properties.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
24	Irène Guessarian	On Continuous Completions.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
24	Hermann A. Maurer	New Aspects of Homomorphisms.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
24	Hans Tzschach, H. Waldschmidt, Hermann K.-G. Walter (eds.)	Theoretical Computer Science, 3rd GI-Conference, Darmstadt, Germany, March 28-30, 1977, Proceedings	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Hagen Huwig, Volker Claus	Das Äquivalenzproblem für spezielle klassen von Loop-1-programmen.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Luc Boasson	Un langage algébrique non-générateur.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Laurent Kott	systèmes schématiques généralises.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Friedrich W. von Henke	Towards automation of proofs by induction.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Ernst-Wolfgang Dieterich	Grobstrukturen für kontextfreie Grammatiken.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	C. Reynvaan, Claus-Peter Schnorr	Über Netzwerkgrößen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten Operationen.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Dominique Perri, Marcel Paul Schützenberger	Codes et sous-monoides possedant des mots neutres.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Mike Paterson	New bounds on formula size.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Werner Damm	Higher type program schemes and their tree languages.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Claus-Peter Schnorr	An algorithm for stransitive closure with linear expected time.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Jacques Loeckx	Formale Korrecktheitsbeweise für While-Programme.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	F. Rodriguez	Familles de languages fermées par crochet et crochet ouvert.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Franz-Josef Brandenburg	On one-way auxiliary pushdown automata.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Bruno Courcelle	On a description of tree-languages by languages.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Burkhard Monien	The LBA-problem and the transormability of the class epsilon2.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Rüdiger Valk, G. Vidal	On the rationality of Petri net languages.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Helmut Alt	Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Gérard Jacob	Decidabilite de la finitude des demi-groupes de matrices.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Jean-François Perrot	Informationque et algébre la theorie des codes a longueur variable.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	V. Lohberger	Eine klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Tadashi Ae, Toru Kikuno, Norio Tamura	A comparative study of one-counter Ianov schemes.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Wolfgang Bibel	A syntactic connection between proof procedures and refutation prcedures.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Britta Schinzel	Struktur von Programmbündeln.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Tiko Kameda	A polynomial-time test for the deadlock-freedom of computer systems.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Rainer Prinoth	Eigenschaften färbbarer Petri-Netze.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	N. Stadel	Das Normalisierungsproblem und er Zusammenhang mit der Zeitkomplexität der Kontextsensitiven Analyse.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	H. Bremer	Ein vollständiges Problem auf der Baummaschine.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	G. Gati	Aspects of unbounded parallelism.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Jean-Michel Autebert	Gylindres de languages simples et pseudo-simples.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Klaus Estenfeld	Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Lutz Eichner	Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	R. Schauerte	Über die Länge einer Berechnung bei linearer Parameter-abhängigkeit der Operationszeit.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Leonard Berman, Juris Hartmanis	On polynomial time isomorphisms of complete sets.	Theoretical Computer Science	1977	DBLP DOI BibTeX RDF
24	Andrei P. Ershov, Valery A. Nepomniaschy (eds.)	International Sympoisum on Theoretical Programming, Novosibirsk, Russia, August 7-11, 1972, Proceedings	International Sympoisum on Theoretical Programming	1974	DBLP DOI BibTeX RDF
24	Robin Milner	A calculus for the mathematical theory of computation.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Shigeru Igarashi	Admissibility of fixed-point induction in first- order logic of typed theories.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	B. A. Trachtenbrot	On universal classes of program schemas.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Alexander S. Narin'yani	Looking for an approach to a theory of models for parallel computation.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	M. I. Schwartzman	Copying in commutation - operator schemata.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Takayasu Ito	A formal approximation theory of semantic data types.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	V. E. Kotov	Towards automatical construction of parallel programs.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	A. Bährs	Operation patterns.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Erwin Engeler	The logic of "can do".	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	A. A. Liapounov	Sur quelques systèmes de programmation pour les recherches scientifiques.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Jack B. Dennis, John B. Fosseen, John P. Linderman	Data flow schemas.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	A. A. Letichervsky	Equivalence and optimization of programs.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	J. Schwartz	Central technical issues in programming language design.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Raymond E. Miller, John Cocke	Configurable computers: a new class of general purpose machines.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	P. E. Allen	A method for determining program data relationships.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	V. E. Itkin	Local- termal equivalence of program schemata.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Rimma I. Podlovchenko	Non- determined algorithm schemata or R- schemata.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Gregory S. Tseytin	Some feature of a language for a proof- checking programming system.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Mike Paterson	Decision problems in computational models.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	C. A. R. Hoare	An axiomatic definition of the programming language PASCAL.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Ju. H. Shukurian	On the average speed of automation with terminal state.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Valery A. Nepomniaschy	Criteria for the algorithmic completeness of the systems of operations.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Janis Barzdin	On synthesizing programs given by examples.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
24	Bruno Buchberger	Certain decompositions of Gödel numbering and the semantics of programming languages.	International Sympoisum on Theoretical Programming	1972	DBLP DOI BibTeX RDF
23	Ivan A. Mikhailov, Artëm E. Masunov	Theoretical Photochemistry of the Photochromic Molecules Based on Density Functional Theory Methods.	ICCS (2)	2009	DBLP DOI BibTeX RDF	Time Dependent Density Functional Theory, Photochromism, Photoswitching, Optical Data Storage, Double excited state, Theoretical Photochemistry, Two-photon Absorption, Rational Materials design
23	Laura Elena Raileanu, Kilian Stoffel	Theoretical Comparison between the Gini Index and Information Gain Criteria.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	Gini Index, theoretical comparison, classification, decision trees, Information Gain
23	Ludmila Kuncheva	A Theoretical Study on Six Classifier Fusion Strategies.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	theoretical error, independent classifiers, Classifier combination, order statistics, majority vote, fusion methods
23	Ming-Syan Chen, Philip S. Yu	A Graph Theoretical Approach to Determine a Join Reducer Sequence in Distributed Query Processing.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	join reducer sequence, optimal sequence, computational complexity, query processing, graph theory, distributed databases, database theory, heuristic algorithms, distributed query processing, data transmission, polynomial time complexity, heuristic approaches, semijoin, join operations, graph theoretical approach, query graph, exponential complexity
23	Jens Dibbern, Tim Goles, Rudy Hirschheim, Bandula Jayatilaka	Information systems outsourcing: a survey and analysis of the literature.	Data Base	2004	DBLP DOI BibTeX RDF	research approaches, outsourcing, determinants, relationships, literature review, theoretical foundations, outcomes
23	Gustavo Deco	The Computational Neuroscience ofVisual Cognition: Attention, Memory and Reward.	WAPCV	2004	DBLP DOI BibTeX RDF	biased competition, visual attention, computational neuroscience, theoretical model
23	Victoria Bellotti	Integrating theoreticians' and practitioners' perspectives with design rationale.	INTERCHI	1993	DBLP DOI BibTeX RDF	multidisciplinary integration, design rationale, theoretical modeling
23	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
23	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
23	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
23	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
23	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
23	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
21	Rut Jesus	What cognition does for Wikis.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	cognition for improvising, cognition for planning, cognitive surplus, theoretical development, collaboration, Wikis, Wikipedia
21	Yurong Song, Guoping Jiang	Model and Dynamic Behavior of Malware Propagation over Wireless Sensor Networks.	Complex (1)	2009	DBLP DOI BibTeX RDF	malware propagation, neighborhood saturation, MAC mechanism, wireless sensor networks, model, cellular automata, theoretical analysis
21	Masahito Yamamoto, Satoshi Kashiwamura, Azuma Ohuchi, Masashi Furukawa	Large-scale DNA memory based on the nested PCR.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	DNA memory, Nested PCR, Theoretical capacity, DNA Computing
21	Susanne Bødker	Design for reconfiguration.	SIGDOC	2008	DBLP DOI BibTeX RDF	activity theoretical HCI, ubiquitous interaction
21	Masahito Yamamoto, Satoshi Kashiwamura, Azuma Ohuchi	DNA Memory with 16.8M Addresses.	DNA	2007	DBLP DOI BibTeX RDF	DNA memory, NPMM, Theoretical capacity, DNA Computing
21	Gregorio de Miguel Casado, Juan Manuel García Chamizo	The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design.	CiE	2006	DBLP DOI BibTeX RDF	Theoretical VLSI design, Type-2 Theory of Effectivity, Integral transforms, Algebraic specification, Convolution, Online-arithmetic
21	Erkay Savas, Berk Sunar	A Practical and Secure Communication Protocol in the Bounded Storage Model.	ICN (2)	2005	DBLP DOI BibTeX RDF	hyper-encryption, information theoretical security, pervasive networks, Bounded storage model
21	Liang Peng, Weng-Fai Wong, Chung-Kwong Yuen	The Performance Model of SilkRoad - A Multithreaded DSM System for Clusters.	CCGRID	2003	DBLP DOI BibTeX RDF	theoretical performance model, memory consistency models, Software Distributed Shared Memory
21	Ken-ichi Kanatani, Naoya Ohta	Accuracy bounds and optimal computation of robot localization.	Mach. Vis. Appl.	2001	DBLP DOI BibTeX RDF	Theoretical accuracy bound, Localization, Mobile robot, Bootstrap, Statistical estimation
21	Jochen Bern, Christoph Meinel	One step further: extending electronic submission into the reviewing process.	SIGDOC	1999	DBLP DOI BibTeX RDF	Symposium on Theoretical Aspects of Computer Science, decision suppot software, distributed editing, electronic submission to conferences, online reviewing process
21	Francisco R. Feito, Juan Carlos Torres 0001	Boundary representation of polyhedral heterogeneous solids in the context of a graphic object algebra.	Vis. Comput.	1997	DBLP DOI BibTeX RDF	Theoretical computer graphics, Solid modelling, B-rep
21	Franck Xia	Module Coupling: A Design Metric.	APSEC	1996	DBLP DOI BibTeX RDF	module coupling, inter-module connection complexity, data complexity method, program logic control, software metrics, software design, theoretical model, design metric
21	Tetsuji Kuboyama, Kilho Shin, Tetsuhiro Miyahara, Hiroshi Yasuda	A Theoretical Analysis of Alignment and Edit Problems for Trees.	ICTCS	2005	DBLP DOI BibTeX RDF
21	Cem Ünsalan, Kim L. Boyer	A Theoretical and Experimental Investigation of Graph Theoretical Measures for Land Development in Satellite Imagery.	ICPR (2)	2004	DBLP DOI BibTeX RDF
21	Yoshihito Toyama	New Challenges for Compuational Models.	IFIP TCS	2000	DBLP DOI BibTeX RDF
20	Yi Jin, Gang Zhou, Dongchen Jiang, Shuai Yuan, Lili Wang, Jianting Cao	Theoretical mean-variance relationship of IP network traffic based on ON/OFF model.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	mean-variance relationship, self-similar, traffic matrix
20	Lei-da Chen, Mark Lee Gillenson, Daniel L. Sherrell	Consumer acceptance of virtual stores: a theoretical model and critical success factors for virtual stores.	Data Base	2004	DBLP DOI BibTeX RDF	virtual store, electronic commerce, technology acceptance model, critical success factor, innovation diffusion, online retailing