Sciweavers

2335 search results - page 153 / 467
» Functional Differentiation of Computer Programs
Sort
View
103
Voted
PPDP
1999
Springer
15 years 4 months ago
Distributed Programming in a Multi-Paradigm Declarative Language
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
Michael Hanus
104
Voted
PEPM
1999
ACM
15 years 4 months ago
Declarative Aspect-Oriented Programming
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
Ralf Lämmel
DBPL
2007
Springer
103views Database» more  DBPL 2007»
15 years 4 months ago
Datalog Programs over Infinite Databases, Revisited
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
Sara Cohen, Joseph Gil, Evelina Zarivach
CVPR
2003
IEEE
16 years 2 months ago
Simultaneous Feature Selection and Classifier Training via Linear Programming: A Case Study for Face Expression Recognition
A linear programming technique is introduced that jointly performs feature selection and classifier training so that a subset of features is optimally selected together with the c...
Guodong Guo, Charles R. Dyer
BIRTHDAY
1994
Springer
15 years 4 months ago
Generalizing Cook's Transformation to Imperative Stack Programs
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...
Nils Andersen, Neil D. Jones