3745 search results - page 426 / 749 » Sonic: System Description |
168
click to vote
FROCOS
2005
Springer
16 years 7 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
163
click to vote
GW
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In our paper we present a method for the automatic generation of single German Sign Language glosses from German words. Glosses are often used as a textual description of...
162
click to vote
OOPSLA
2005
Springer
16 years 5 days ago
2005
Springer
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
145
click to vote
SEMWEB
2005
Springer
16 years 5 days ago
2005
Springer
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...
188
click to vote
SACMAT
2004
ACM
16 years 3 days ago
2004
ACM
In order to provide a general access control methodology for parts of XML documents, we propose combining rolebased access control as found in the Role Graph Model, with a methodo...