Sciweavers

21183 search results - page 3901 / 4237
» Adaptive Testing by Test
Sort
View
VRML
2004
ACM
15 years 10 months ago
A VRML97-X3D extension for massive scenery management in virtual worlds
In this paper we present a VRML97-X3D extension to describe precomputed visibility relationships in the context of progressive transmission as well as real time visualization of m...
Jean-Eudes Marvie, Kadi Bouatouch
WMASH
2004
ACM
15 years 10 months ago
LOCATOR: location estimation system For wireless LANs
With the wide spread growth of mobile computing devices and local area wireless networks, wireless network providers have started to target the users with value-added services bas...
Ankur Agiwal, Parakram Khandpur, Huzur Saran
186
Voted
AP2PC
2004
Springer
15 years 10 months ago
ACP2P: Agent Community Based Peer-to-Peer Information Retrieval
This paper proposes an agent community based information retrieval method, which uses agent communities to manage and look up information related to users. An agent works as a dele...
Tsunenori Mine, Daisuke Matsuno, Akihiro Kogo, Mak...
ASIAN
2004
Springer
150views Algorithms» more  ASIAN 2004»
15 years 10 months ago
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
Vijay A. Saraswat
BIRTHDAY
2004
Springer
15 years 10 months ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
« Prev « First page 3901 / 4237 Last » Next »