1366 search results - page 118 / 274 » Modularizing Contexted Constraints |
103
click to vote
NIPS
1994
15 years 20 days ago
1994
Biological sensorimotor systems are not static maps that transform input sensory information into output motor behavior. Evidence from many lines of research suggests that their r...
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
POPL
2010
ACM
15 years 1 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
103
click to vote
ANLP
1997
15 years 21 days ago
1997
This paper describes a new finite-state shallow parser. It merges constructive and reductionist approaches within a highly modular architecture. Syntactic information is added at ...
100
click to vote
ER
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...