3844 search results - page 547 / 769 » Modular interpreted systems |
151
click to vote
RIA
2008
15 years 6 months ago
2008
Situations, the semantic interpretations of context, provide a better basis for selecting adaptive behaviours than context itself. The definition of situations typically rests on t...
168
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of example...
171
click to vote
DOCENG
2010
ACM
15 years 5 months ago
2010
ACM
In e-business development, semantics-oriented document exchange is becoming important, because it can support crossdomain user connection, business transaction and collaboration. ...
153
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
196
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
This paper presents a novel approach to detect and formulate time varying changes in texture content on a sequence of images registered from a scene by using Gabor wavelets repres...