5451 search results - page 270 / 1091 » Typed Operational Semantics |
149
click to vote
JOT
2010
15 years 3 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
127
Voted
OTM
2007
Springer
15 years 10 months ago
2007
Springer
A Knowledge Based Network is a type of ontological content based network. As Knowledge Based Networks scale, semantic interoperability becomes an important issue since larger popul...
147
Voted
AICT
2005
IEEE
15 years 10 months ago
2005
IEEE
Learning Object repositories play a key role in the vision of reusable learning contents and learning designs, serving as providers for learning-oriented artefacts. Nevertheless, ...
163
click to vote
DEXA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...
137
click to vote
QSIC
2003
IEEE
15 years 10 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...