8874 search results - page 1694 / 1775 » A New Implementation of Automath |
174
Voted
DILS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Data integration plays a major role in modern Life Sciences research primarily because required resources are geographically distributed across continents and experts dep...
127
click to vote
HT
2007
ACM
15 years 7 months ago
2007
ACM
The design and maintenance of an aero-engine generates a significant amount of documentation. When designing new engines, engineers must obtain knowledge gained from maintenance o...
142
Voted
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
In business-to-business e-commerce, traditional electronic data interchange (EDI) approaches such as UN/EDIFACT have been superseded by approaches like web services and ebXML. Nev...
133
click to vote
DOCENG
2007
ACM
15 years 7 months ago
2007
ACM
In spite of the high profile of media types such as video, audio and images, many multimedia presentations rely extensively on text content. Text can be used for incidental labels...
103
Voted
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
In recent years, there have been significant strides in increasing quality of range from stereo using global techniques such as energy minimization. These methods cannot yet achie...