10871 search results - page 208 / 2175 » A stable programming language |
115
click to vote
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Flexibility of business processes requires a modeling language that can distinguish between the stable and flexible parts of a business process. Starting from a general model of bu...
116
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common programming techniques such...
104
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
146
click to vote
PPCP
1993
15 years 6 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
120
click to vote
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we present an application of stable marriages algorithms, applied to level-line junctions, for obstacle detection. The method is implemented on our PiCar stereovisi...