8874 search results - page 38 / 1775 » A New Implementation of Automath |
ICWL
2003
Springer
14 years 4 months ago
2003
Springer
This paper proposes a new architecture for web-based virtual laboratory with CORBA technology. In the architecture, Java Applet acts as the client tool, CORBA acts as the communica...
TSD
2001
Springer
14 years 3 months ago
2001
Springer
This paper deals with the effective implementation of the new Czech morphological analyser ajka which is based on the algorithmic description of the Czech formal morphology. First...
ELPUB
2006
ACM
14 years 2 months ago
2006
ACM
The recent journal price increases and state-wide budget cuts have forced librarians at the University of Maryland (UMD) to make outright cancellations to journals. The implementa...
ACISICIS
2010
IEEE
14 years 15 days ago
2010
IEEE
We developed new interactive display system called the palm display. Our prototype system shows the image of graphical user interface on the palm and allows the user to have intera...
FIW
2003
14 years 10 days ago
2003
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...