1835 search results - page 84 / 367 » Functional Programming of Behavior-Based Systems |
137
click to vote
CICLING
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
108
Voted
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module syst...
139
Voted
ESAW
2009
Springer
15 years 11 months ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
154
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
258
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...