6740 search results - page 176 / 1348 » Using Classification as a Programming Language |
100
click to vote
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
120
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
143
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
103
click to vote
IPM
2008
15 years 1 months ago
2008
Language modeling is an effective and theoretically attractive probabilistic framework for text information retrieval. The basic idea of this approach is to estimate a language mo...
101
Voted
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...