1835 search results - page 156 / 367 » Functional Programming of Behavior-Based Systems |
137
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
149
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
163
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— For stochastic hybrid systems, stochastic reachability is very little supported mainly because of complexity and difficulty of the associated mathematical problems. In...
144
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
137
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...