6719 search results - page 283 / 1344 » A Generalization of Automatic Sequences |
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
83
Voted
IPAS
2008
15 years 3 months ago
2008
The automatic detection of runway hazards from a moving platform under poor visibility conditions is a multifaceted problem. The general approach that we use relies on looking at ...
93
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We present Tartanian, a game theory-based player for headsup no-limit Texas Hold'em poker. Tartanian is built from three components. First, to deal with the virtually infinit...
124
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
LREC
2010
15 years 2 months ago
2010
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...