6618 search results - page 935 / 1324 » Information and Communication Technologies for Development |
153
click to vote
LOCA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...
195
click to vote
MKM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
194
click to vote
SEKE
2005
Springer
16 years 1 months ago
2005
Springer
With the adoption to Web service technologies, more and more existing non-service-oriented software systems turn to be legacy systems. They require a service-oriented reengineerin...
187
click to vote
SEMWEB
2005
Springer
16 years 1 months ago
2005
Springer
The integration of heterogenous data sources is a crucial step for the upcoming semantic web – if existing information is not integrated, where will the data come from that the s...
159
click to vote
HT
2004
ACM
16 years 1 months ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...