18429 search results - page 3585 / 3686 » Typing dynamic typing |
160
click to vote
AI
2004
Springer
15 years 5 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
154
click to vote
JSW
2007
15 years 5 months ago
2007
— We propose a novel framework for building a distributed data acquisition and monitoring system. Our novel framework is mainly based on XML leverages and OPC (Openness, Producti...
183
click to vote
TVLSI
2008
15 years 5 months ago
2008
The traditional virtual memory system is designed for decades assuming a magnetic disk as the secondary storage. Recently, flash memory becomes a popular storage alternative for ma...
174
click to vote
VR
2008
IEEE
15 years 5 months ago
2008
IEEE
Feedback force is very important for novices to simulate tooth preparation by using the haptic interaction system (dental training system) in a virtual environment. In the process ...
167
click to vote
WS
2008
ACM
15 years 5 months ago
2008
ACM
This article presents the CHIP demonstrator5 for providing personalized access to digital museum collections. It consists of three main components: Art Recommender, Tour Wizard, an...