1788 search results - page 314 / 358 » Model Theory for Process Algebra |
122
Voted
CICLING
2003
Springer
15 years 8 months ago
2003
Springer
A new sort of generative grammar (Sec2) will be demonstrated which is more radically “lexicalist” than any earlier one (Sec1). It is a modified Unification Categorial Gramma...
135
click to vote
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
Blob trackers have become increasingly powerful in recent years largely due to the adoption of statistical appearance models which allow effective background subtraction and robus...
134
Voted
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
141
Voted
AI
2006
Springer
15 years 3 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
153
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...