Sciweavers

941 search results - page 34 / 189
» Mathematics on the (Semantic) NET
Sort
View
84
Voted
ACL
1998
15 years 2 months ago
The Berkeley FrameNet Project
FrameNet is a three-year NSF-supported project in corpus-based computational lexicography, now in its second year NSF IRI-9618838, Tools for Lexicon Building". The project�...
Collin F. Baker, Charles J. Fillmore, John B. Lowe
114
Voted
CONCUR
2009
Springer
15 years 4 months ago
Weak Time Petri Nets Strike Back!
We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are...
Pierre-Alain Reynier, Arnaud Sangnier
107
Voted
ENTCS
2006
155views more  ENTCS 2006»
15 years 20 days ago
Mathematical Service Trading Based on Equational Matching
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
Aurélie Hurault, Marc Pantel