697 search results - page 50 / 140 » Symbols are not uniquely human |
107
click to vote
DAS
2008
Springer
15 years 23 days ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
102
click to vote
TSE
2010
14 years 9 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
CSCWD
2007
Springer
15 years 5 months ago
2007
Springer
More and more learners tend to utilise e-learning as their learning platform. The privacy of the users’ digital identities of e-learning has become a big concern. This paper pro...
70
Voted
CAISE
2005
Springer
15 years 4 months ago
2005
Springer
: Pervasiveness and ubiquity opens the possibility for human race to go beyond time and geographic limitations. The new possibility of virtual existence has important social and ps...
IJCAI
2003
15 years 10 days ago
2003
This paper presents a new measure of semantic relatedness between concepts that is based on the number of shared words (overlaps) in their definitions (glosses). This measure is ...