2308 search results - page 202 / 462 » Categorial Semantics For LFG |
177
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
167
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
154
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Multi-agent interactions often result in mutual occlusion sequences which constitute a visual signature for the event. We define six qualitative occlusion primitives based on the ...
156
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The ontological representation of learning objects is a way to deal with the interoperability and reusability of learning objects (including metadata) through providing a semantic...
184
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
Subspace learning techniques are widespread in pattern recognition research. They include Principal Component Analysis (PCA), Locality Preserving Projection (LPP), etc. These tech...