506 search results - page 90 / 102 » Where Is the Value in a Program Verifier |
APL
1992
ACM
15 years 4 months ago
1992
ACM
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a P...
106
Voted
AAAI
2007
15 years 2 months ago
2007
Imitation learning, also called learning by watching or programming by demonstration, has emerged as a means of accelerating many reinforcement learning tasks. Previous work has s...
128
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
110
Voted
ESA
2010
Springer
15 years 1 months ago
2010
Springer
Motivated by the trend to outsource work to commercial cloud computing services, we consider a variation of the streaming paradigm where a streaming algorithm can be assisted by a...
122
Voted
ASC
2004
15 years 10 days ago
2004
Theabilitytointelligentlycollect,manageandanalyzeinformationaboutcustomersandsellersisakeysourceofcompetitive advantage for an e-business. This ability provides an opportunity to ...