2373 search results - page 308 / 475 » On the Theory of Structural Subtyping |
150
click to vote
ACMSE
1990
ACM
15 years 10 months ago
1990
ACM
Current research in natural language processing is characterized by the development of theories of grammar which strongly depend on the lexicon to drive parsing systems (e.g. Lexi...
180
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
The properties of symmetric fitness functions are investigated. We show that a well-known encoding scheme inducing symmetric functions has the non-synonymous property and the sear...
162
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
164
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
188
click to vote
AAAI
2007
15 years 9 months ago
2007
This paper lays theoretical and software foundations for a World Wide Argument Web (WWAW): a large-scale Web of inter-connected arguments posted by individuals to express their op...