1636 search results - page 38 / 328 » Type-Theoretic Functional Semantics |
87
Voted
CCS
2009
ACM
16 years 14 days ago
2009
ACM
The successful deployment of a security policy is closely related not only to the complexity of the security requirements but also to the capabilities/functionalities of the secur...
ISM
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a top-down statistical modeling approach to explore the semantic structure in the American football video. First, a semantic space is defined where the video semantic ...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
INFSOF
1998
14 years 11 months ago
1998
Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by ...
AIIA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Improving accuracy in Information Retrieval tasks via semantic information is a complex problem characterized by three main aspects: the document representation model, th...