6794 search results - page 1099 / 1359 » Semantics of Visual Languages |
132
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
106
Voted
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Language training systems that provide learners adaptive questions on the contents of stories require several capabilities such as semantic analysis, automated question generation ...
163
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
132
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
112
click to vote
FCT
2005
Springer
15 years 10 months ago
2005
Springer
In the pattern matching problem, there can be a quadratic number of matching substrings in the size of a given text. The linearizing restriction finds, at most, a linear number of...