8874 search results - page 153 / 1775 » A New Implementation of Automath |
131
click to vote
PERVASIVE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The paper describes the concept, implementation, and evaluation of a new on-body capacitive sensing approach to derive activity related information. Using conductive text...
128
click to vote
ICTAI
1999
IEEE
15 years 8 months ago
1999
IEEE
Locating useful information effectively from the World Wide Web (WWW) is of wide interest. This paper presents new results on a methodology of using the structures and hyperlinks ...
136
click to vote
SCCC
1999
IEEE
15 years 8 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
138
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. High speed networks are now providing incredible performances. Software evolution is slow and the old protocol stacks are no longer adequate for these kind of communicati...
117
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
LAPI is a low-level, high-performance communication interface available on the IBM RS/6000 SP system. It provides an activemessage-like interface along with remote memory copy and...