3468 search results - page 109 / 694 » An open logical framework |
181
Voted
ESWS
2011
Springer
14 years 4 months ago
2011
Springer
Driven by the success of the Linked Open Data initiative today’s Semantic Web is best characterized as a Web of interlinked datasets. Hand in hand with this structure new challen...
85
Voted
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— The possibility of controlling humanoid robots in free-space opens new fields of application involving freefloating behaviors. Recently, we presented a prioritized taskorient...
104
click to vote
PERCOM
2006
ACM
16 years 9 days ago
2006
ACM
This paper presents Cantag, an open source software toolkit for building Marker-based Vision (MBV) systems that can identify and accurately locate printed markers in three dimensi...
109
click to vote
EUROPAR
2009
Springer
15 years 7 months ago
2009
Springer
The size of supercomputers in numbers of processors is growing exponentially. Today’s largest supercomputers have upwards of a hundred thousand processors and tomorrow’s may ha...
119
click to vote
ELPUB
2006
ACM
15 years 6 months ago
2006
ACM
The internet causes a continuous emergence of novel forms of scholarly communication and collaboration. Electronic publishing provides a means for representing eventual outcomes o...