1223 search results - page 145 / 245 » Semantic Visualization and Meaning Computation |
132
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
138
click to vote
AUSFORENSICS
2004
15 years 5 months ago
2004
In cases involving computer related crime, event oriented evidence such as computer event logs, and telephone call records are coming under increased scrutiny. The amount of techn...
152
click to vote
SEMCO
2007
IEEE
15 years 10 months ago
2007
IEEE
Human visual recognition is based largely on shape, yet effectively using shapes in natural image retrieval is a challenging task. Most existing methods are based on the geometric...
118
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
This work addresses the challenge of extracting structure in educational and training media based on the type of material that is presented during lectures and training sessions. ...
141
click to vote
IV
2008
IEEE
15 years 10 months ago
2008
IEEE
Although Internet and WWW phenomena are often described using spatial metaphors, the commonest means of geographic orientation - the map - is little used in online navigation. Map...