4109 search results - page 537 / 822 » User Interface Software Tools |
163
click to vote
CIIT
2004
15 years 8 months ago
2004
The Internet is a convenient platform to distribute real time traffic information. Thus, we propose a web-based visualization of the current and future traffic load of the entire ...
158
click to vote
CAD
2006
Springer
15 years 6 months ago
2006
Springer
A proper segmentation of pen marking enhances shape recognition and enables a natural interface for sketch-based modeling from simple line drawing tools to 3D solid modeling appli...
174
click to vote
ENTCS
2007
15 years 6 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
195
click to vote
ACL
2009
15 years 4 months ago
2009
In this paper, we introduce a multilingual access and retrieval system with enhanced query translation and multilingual document retrieval, by mining bilingual terminologies and a...
179
click to vote
FUIN
2010
15 years 4 months ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...