609 search results - page 60 / 122 » Declarative programming for agent applications |
SFM
2005
Springer
14 years 1 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
IDEAL
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Ordinal data play an important part in financial forecasting. For example, advice from expert sources may take the form of "bullish", "bearish" or &qu...
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
SEMCO
2007
IEEE
14 years 2 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
FLOPS
2008
Springer
13 years 9 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...