5451 search results - page 323 / 1091 » Typed Operational Semantics |
142
click to vote
CHB
2011
14 years 8 months ago
2011
Admittedly this is a presumptuous title that should never be used when reporting on individual research advances. Wisdom is just not a scientific concept. In this case, though, w...
146
click to vote
ICANN
2011
Springer
14 years 8 months ago
2011
Springer
Subspace learning is very important in today's world of information overload. Distinguishing between categories within a subset of a large data repository such as the web and ...
129
Voted
HVC
2007
Springer
15 years 11 months ago
2007
Springer
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
132
click to vote
ICSOC
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present the architecture and design of an extended BPEL engine that implements the operational semantics of BPEL4SWS. BPEL4SWS is an extension of the BPEL language...
144
Voted
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Efficient indexing and retrieval of digital videos are important needs within instructional video databases. Semantic indexing for instructional videos can be achieved by combini...