5451 search results - page 583 / 1091 » Typed Operational Semantics |
182
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
With the proliferation of diverse multimedia terminals, the request for elegantly retargeting videos to different display devices is evident, especially in sports. This demonstra...
170
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Most existing automatic taxonomy induction systems exploit one or more features to induce a taxonomy; nevertheless there is no systematic study examining which are the best featur...
181
click to vote
ACSC
2008
IEEE
16 years 1 months ago
2008
IEEE
1 In this paper we introduce a novel method of automating thesauri using syntactically constrained distributional similarity. With respect to syntactically conditioned cooccurrence...
160
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...
174
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...