2741 search results - page 52 / 549 » Engineering Mathematical Knowledge |
FLAIRS
2009
13 years 6 months ago
2009
Recently, the development of distributed knowledge systems has become more attractive due to the existence of new social semantic applications such as semantic knowledge wikis. Us...
MKM
2007
Springer
14 years 2 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
CRYPTOLOGIA
2006
13 years 8 months ago
2006
For a recent student conference, the authors developed a day-long design problem and competition suitable for engineering, mathematics, and science undergraduates. The competition ...
ICWE
2010
Springer
13 years 7 months ago
2010
Springer
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...