941 search results - page 140 / 189 » Mathematics on the (Semantic) NET |
102
Voted
ADAEUROPE
2001
Springer
15 years 5 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
85
Voted
CSCWD
2001
Springer
15 years 5 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
99
Voted
PCM
2001
Springer
15 years 5 months ago
2001
Springer
Developing effective and efficient retrieval techniques for multimedia data is a challenging issue in building a digital library. Unlike most previously proposed retrieval approac...
118
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
89
Voted
EMNLP
2008
15 years 2 months ago
2008
Question classification plays an important role in question answering. Features are the key to obtain an accurate question classifier. In contrast to Li and Roth (2002)'s app...