697 search results - page 50 / 140 » Symbols are not uniquely human |
126
Voted
DAS
2008
Springer
15 years 2 months 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...
111
Voted
TSE
2010
14 years 11 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 ...
109
Voted
CSCWD
2007
Springer
15 years 6 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...
78
Voted
CAISE
2005
Springer
15 years 6 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...
105
Voted
IJCAI
2003
15 years 1 months 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 ...