Sciweavers

941 search results - page 49 / 189
» Mathematics on the (Semantic) NET
Sort
View
120
Voted
WSC
1997
15 years 2 months ago
Petri Net Based Simulation of Construction Schedules
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 ...
Anil Sawhney
LREC
2008
130views Education» more  LREC 2008»
15 years 2 months ago
Encoding Terms from a Scientific Domain in a Terminological Database: Methodology and Criteria
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...
Rita Marinelli, Melissa Tiberi, Remo Bindi
87
Voted
LREC
2010
177views Education» more  LREC 2010»
15 years 2 months ago
IndoWordNet
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...
Pushpak Bhattacharyya
99
Voted
CAV
2005
Springer
144views Hardware» more  CAV 2005»
15 years 6 months ago
Romeo: A Tool for Analyzing Time Petri Nets
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...
Guillaume Gardey, Didier Lime, Morgan Magnin, Oliv...
ERCIMDL
2003
Springer
127views Education» more  ERCIMDL 2003»
15 years 5 months ago
SozioNet: Networking Social Science Resources
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...
Wolfgang Meier, Natascha Schumann, Sue Heise, Rudi...