950 search results - page 22 / 190 » Machine semantics |
104
Voted
PKDD
2009
Springer
15 years 6 months ago
2009
Springer
This paper aims at presenting how natural language processing and machine learning techniques can help the internet surfer to get a better overview of the pages he is reading. The ...
AINA
2005
IEEE
15 years 5 months ago
2005
IEEE
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
114
Voted
VL
2005
IEEE
15 years 5 months ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
107
Voted
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
96
Voted
MLCW
2005
Springer
15 years 5 months ago
2005
Springer
Semantic entailment is the problem of determining if the meaning of a given sentence entails that of another. This is a fundamental problem in natural language understanding that ...