279 search results - page 51 / 56 » Typability in Partial Applicative Structures |
168
click to vote
ICMCS
2007
IEEE
16 years 21 days ago
2007
IEEE
We present a novel genre-independent SVM framework for detecting scene changes in broadcast video. Our framework works on content from a diverse range of genres by allowing sets o...
185
Voted
ESWS
2007
Springer
16 years 16 days ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
174
Voted
CASES
2006
ACM
16 years 10 days ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...
194
Voted
LOPSTR
2005
Springer
15 years 12 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
148
Voted
SCOPES
2005
Springer
15 years 12 months ago
2005
Springer
Development of network communication in a homogeneous sensor network environment is straightforward as the nodes can share message layouts simply by letting the compiler lay out m...