Sciweavers

1312 search results - page 141 / 263
» Quantitative Comparison of Languages
Sort
View
109
Voted
ACL
2006
15 years 2 months ago
Discriminative Classifiers for Deterministic Dependency Parsing
Deterministic parsing guided by treebankinduced classifiers has emerged as a simple and efficient alternative to more complex models for data-driven parsing. We present a systemat...
Johan Hall, Joakim Nivre, Jens Nilsson
AOIS
2003
15 years 2 months ago
Comparing Agent-Oriented Methodologies
Numerous methodologies for developing agent-based systems have been proposed in the literature. However, their application is still limited due to their lack of maturity. Evaluati...
Khanh Hoa Dam, Michael Winikoff
114
Voted
ICFP
2007
ACM
16 years 21 days ago
A type directed translation of MLF to system F
The MLF type system by Le Botlan and R?emy (2003) is a natural extension of Hindley-Milner type inference that supports full firstclass polymorphism, where types can be of higher-...
Daan Leijen
99
Voted
ICFP
2006
ACM
16 years 21 days ago
Towards an automatic complexity analysis for generic programs
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
Kyle D. Ross
119
Voted
APLAS
2005
ACM
15 years 6 months ago
Using Datalog with Binary Decision Diagrams for Program Analysis
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
John Whaley, Dzintars Avots, Michael Carbin, Monic...