941 search results - page 49 / 189 » Mathematics on the (Semantic) NET |
WSC
1997
14 years 10 days ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...
LREC
2008
14 years 13 days ago
2008
This paper reports on the main phases of a research which aims at enhancing a maritime terminological database by means of a set of terms belonging to meteorology. The structure o...
LREC
2010
14 years 14 days ago
2010
India is a multilingual country where machine translation and cross lingual search are highly relevant problems. These problems require large resources- like wordnets and lexicons...
CAV
2005
Springer
14 years 4 months ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
ERCIMDL
2003
Springer
14 years 4 months ago
2003
Springer
SozioNet 1 forms part of a forthcoming national social science information portal, which is currently being developed by the German Infoconnex2 initiative. Inspired by successful e...