3706 search results - page 511 / 742 » OntoComP System Description |
176
click to vote
ENTCS
2011
15 years 1 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
213
click to vote
IJRR
2010
15 years 1 months ago
2010
The ability to represent knowledge about space and its position therein is crucial for a mobile robot. To this end, topological and semantic descriptions are gaining popularity fo...
190
click to vote
IACR
2011
14 years 6 months ago
2011
Although malleability is undesirable in traditional digital signatures, schemes with limited malleability properties enable interesting functionalities that may be impossible to o...
252
click to vote
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
An important feature of a modern mobile device is that it can position itself. Not only for use on the device but also for remote applications that require tracking of the device....
174
click to vote
IISWC
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract—Transactional Memory (TM) is emerging as a promising technology to simplify parallel programming. While several TM systems have been proposed in the research literature,...