Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Lukui Shi, Pilian He |
A Fast Fuzzy Clustering Algorithm for Large-Scale Datasets. |
ADMA |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Alfons Geser, Dieter Hofbauer, Johannes Waldmann |
Match-Bounded String Rewriting Systems. |
Appl. Algebra Eng. Commun. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Match-bounded, Termination, Semi-Thue System, String Rewriting System |
12 | Gultekin Özsoyoglu, Nevzat Hurkan Balkir, Z. Meral Özsoyoglu, Graham Cormode |
On Automated Lesson Construction from Electronic Textbooks. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
electronic textbook data models, instructional modules, lesson construction, lesson construction heuristics, lesson complexity, topics, Electronic textbooks |
12 | Tetsuyou Watanabe, Zhongwei Jiang, Tsuneo Yoshikawa |
Mechanics of Hybrid Active/passive-closure Grasps. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Alvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger |
Linear Time Universal Coding of Tree Sources via FSM Closure. |
Data Compression Conference |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Hans Zantema |
TORPA: Termination of Rewriting Proved Automatically. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Rinus Plasmeijer, Arjen van Weelden |
A Functional Shell That Operates on Typed and Compiled Applications. |
Advanced Functional Programming |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Christelle Scharff, Leo Bachmair |
On the Combination of Congruence Closure and Completion. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Ashwin K. Kumaraswamy, Ahmet T. Erdogan, Indrajit Atluri |
Development of Timing Driven IP Design Flow based on Physical Knowledge Synthesis. |
IWSOC |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Samson Abramsky, Radha Jagadeesan |
A Game Semantics for Generic Polymorphism. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Hugh Anderson, Siau-Cheng Khoo |
Affine-Based Size-Change Termination. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Feng Peng, Sudarshan S. Chawathe |
XPath Queries on Streaming Data. |
SIGMOD Conference |
2003 |
DBLP DOI BibTeX RDF |
XML |
12 | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving |
12 | Johan G. F. Belinfante |
Reasoning about Iteration in Gödel's Class Theory. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Reinhold Letz, Gernot Stenz |
Universal Variables in Disconnection Tableaux. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Roman Kolpakov |
Classes of Binary Rational Distributions Closed under Discrete Transformations. |
SAGA |
2003 |
DBLP DOI BibTeX RDF |
probabilistic transformations, Stochastic automata |
12 | Pascal Van Hentenryck, Laurent Michel |
Control Abstractions for Local Search. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai |
Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Richard Carlsson |
Parameterized modules in Erlang. |
Erlang Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Bernhard Reus |
Modular Semantics and Logics of Classes. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Ladislav J. Kohout, Eunjin Kim |
The role of BK-products of relations in soft computing. |
Soft Comput. |
2002 |
DBLP DOI BibTeX RDF |
Relational BK-products, Fuzzy relational computations, Distributed computing, Knowledge discovery, Neuro-fuzzy |
12 | André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder |
Thread Migration in a Parallel Graph Reducer. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Arjen van Weelden, Marinus J. Plasmeijer |
Towards a Strongly Typed Functional Operating System. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Mira Balaban, Nikolai Berezansky, Ehud Gudes |
Answering Cooperative Recursive Queries in Web Federated Databases. |
NGITS |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Denis Barthou, Paul Feautrier, Xavier Redon |
On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note). |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Hitoshi Ohsaki, Toshinori Takai |
Decidability and Closure Properties of Equational Tree Languages. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Ayal Z. Pinkus, Serge Winitzki |
YACAS: A Do-It-Yourself Symbolic Algebra Environment. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Alberto de la Encina, Ricardo Pena |
Proving the Correctness of the STG Machine. |
IFL |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Ming-Dar Tsai, Shyan-Bin Jou, Ming-Shium Hsieh |
Accurate Surface Voxelization for Manipulating Volumetric Surfaces and Solids with Application in Simulating Musculoskeletal Surgery. |
PG |
2001 |
DBLP DOI BibTeX RDF |
surface voxelization, volume modeling and manipulation, surgical simulation |
12 | Hitoshi Ohsaki |
Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
decidability, Tree automata, equational theory |
12 | Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl |
Weakly Computable Real Numbers and Total Computable Real Functions. |
COCOON |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Zhong Shao, Andrew W. Appel |
Efficient and safe-for-space closure conversion. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
callee-save registers, closure representation, heap-based compilation, space safety, compiler optimization, flow analysis, closure conversion |
12 | Yasuhito Mukouchi, Masako Sato |
Language Learning with a Neighbor System. |
Discovery Science |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Tamás Gaál |
Extended Sequentialization of Transducers. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Richard Rasala |
Toolkits in first year computer science: a pedagogical imperative. |
SIGCSE |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Edith Cohen, Haim Kaplan, Uri Zwick |
Connection caching under vaious models of communication. |
SPAA |
2000 |
DBLP DOI BibTeX RDF |
|
12 | J. Gregory Morrisett, David Walker 0001, Karl Crary, Neal Glew |
From system F to typed assembly language. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
secure extensible systems, type-directed compilation, typed assembly language, typed intermediate languages, certified code, closure conversion |
12 | Yoonsik Cheon, Heung-Nam Kim |
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
sequence operator, specification language, Smalltalk, formal semantics, block, Program specification |
12 | Klaus Schneider 0001 |
Yet another Look at the LTL Model Checking. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Bengt Jonsson 0001, Wang Yi 0001 |
Fully Abstract Characterization of Probabilistic May Testing. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Ulrich Kohlenbach |
Elimination of Skolem functions for monotone formulas in analysis. |
Arch. Math. Log. |
1998 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification: 03F35, 03F10, 03F03, 03F25 |
12 | Paola Quaglia |
Pi-Congruences as CCS Equivalences. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Martín Abadi |
Protection in Programming-Language Translations: Mobile Object Systems (Abstract). |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Paola Flocchini, Elena Lodi, Fabrizio Luccio, Nicola Santoro |
Irreversible Dynamos in Tori. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Jerzy Karczmarczuk |
Functional Differentiation of Computer Programs. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
lazy semantics, Haskell, Haskell, arithmetic, differentiation, derivatives |
12 | Jeffrey M. Bell, Françoise Bellegarde, James Hook |
Type-Driven Defunctionalization. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Matthew Fuchs |
Using Scoping Rules as a Distributed Coordination Language. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Nikolaos Papaspyrou |
A Framework for Programming Denotational Semantics in C++. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
C++ |
12 | Kumar N. Ganapathy, Benjamin W. Wah |
Optimal Synthesis of Algorithm-Specific Lower-Dimensional Processor Arrays. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
polynomial-time search, transitive closure, processor arrays, optimal design, objective function, Design constraints, uniform recurrence equations |
12 | Stephan Murer, Stephen M. Omohundro, David Stoutamire, Clemens A. Szyperski |
Iteration Abstraction in Sather. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
Sather, general control structures, iteration abstraction |
12 | Peter Thiemann 0001 |
Implementing Memoization for Partial Evaluation. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation |
12 | Donald Sannella, Andrzej Tarlecki |
Mind the Gap! Abstract Versus Concrete Models of Specifications. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Michael Sperber, Peter Thiemann 0001 |
Realistic Compilation by Partial Evaluation. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
compilation of higher-order functional languages, semantics-directed compiler generation, partial evaluation |
12 | Henry Cejtin, Suresh Jagannathan, Richard Kelsey |
Higher-Order Distributed Objects. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
concurrency, message-passing, SCHEME, continuations, higher-order languages |
12 | Holger Petersen 0001 |
Alternation in Simple Devices. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Detlef Plump |
On Termination of Graph Rewriting. |
WG |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Alexander Aiken, Manuel Fähndrich, Raph Levien |
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. |
PLDI |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Manuel Serrano |
Using Higher-Order Control Flow Analysis When Compiling Functional Languages. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Mads Tofte, Jean-Pierre Talpin |
Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Young Gil Park, Benjamin Goldberg |
Escape Analysis on Lists. |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
|
12 | John Hannan |
Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages. |
ELP |
1991 |
DBLP DOI BibTeX RDF |
|
12 | John Hannan, Dale Miller 0001 |
From Operational Semantics to Abstract Machines: Preliminary Results. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Mikael Pettersson |
Generating Efficient Code from Continuation Semantics. |
CC |
1990 |
DBLP DOI BibTeX RDF |
|
12 | David Sands |
Complexity Analysis for a Lazy Higher-Order Language. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Timothy J. Hickey |
CLP* and Constraint Abstraction. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Andrew W. Appel, Trevor Jim |
Continuation-Passing, Closure-Passing Style. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
ML |
12 | James H. Andrews |
Proof-Theoretic Characterisations of Logic Programs. |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Williams Ludwell Harrison III, Zahira Ammarguellat |
The Design of Automatic Parallelizers for Symbolic and Numeric Programs. |
Workshop on Parallel Lisp |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Yuejun Jiang |
An Autoepistemic Logical View of Knowledge Base. |
FSTTCS |
1989 |
DBLP DOI BibTeX RDF |
AI in Database, Incomplete knowledge, Complete Database, Nonstandard Logic, Modal logic, Deductive database, Integrity Constraints, Non-monotonic logic, Closed World Assumption, Possible worlds semantics, Autoepistemic logic |
12 | Gene Cooperman, Larry Finkelstein, Eugene M. Luks |
Reduction of Group Constructions to Point Stabilizers. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Jim Diederich, Jack Milton |
New Methods and Fast Algorithms for Database Normalization. |
ACM Trans. Database Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
12 | David Gelernter, Suresh Jagannathan, Thomas London |
Environments as First Class Objects. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
LISP |
12 | Thierry Coquand, Carl A. Gunter, Glynn Winskel |
DI-Domains as a Model of Polymorphism. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
12 | Elihu M. Gerson, Susan Leigh Star |
Analyzing Due Process in the Workplace. |
ACM Trans. Inf. Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
12 | Luca Cardelli |
The Amber Machine. |
Combinators and Functional Programming Languages |
1985 |
DBLP DOI BibTeX RDF |
|
12 | Peter Wegner |
On the Unification of Data and Program Abstraction in Ada. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
12 | Eljas Soisalon-Soininen, Derick Wood |
An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems. |
PODS |
1982 |
DBLP DOI BibTeX RDF |
|
12 | Bernhard Josko |
An Effective Retract Calculus. |
Theoretical Computer Science |
1981 |
DBLP DOI BibTeX RDF |
|
12 | Charles R. Blair |
On Computer Transcription of Manual Morse. |
J. ACM |
1959 |
DBLP DOI BibTeX RDF |
|