Sciweavers

5869 search results - page 963 / 1174
» Multilingual Information Access
Sort
View
CONTEXT
2007
Springer
15 years 7 months ago
Representing Context in Web Search with Ontological User Profiles
Abstract. One of the key factors for effective personalization of information access is the user context. We propose a framework which integrates several critical elements that mak...
Ahu Sieg, Bamshad Mobasher, Robin D. Burke
CAV
2010
Springer
161views Hardware» more  CAV 2010»
15 years 7 months ago
Directed Proof Generation for Machine Code
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda B...
129
Voted
WCNC
2010
IEEE
15 years 7 months ago
A Lightweight Distributed Solution to Content Replication in Mobile Networks
Abstract—Performance and reliability of content access in mobile networks is conditioned jointly by the number and location of content replicas deployed at the network nodes. The...
C.-A. La, Pietro Michiardi, Claudio Casetti, Carla...
WIKIS
2010
ACM
15 years 7 months ago
Deep hypertext with embedded revision control implemented in regular expressions
While text versioning was definitely a part of the original hypertext concept [21, 36, 44], it is rarely considered in this context today. Still, we know that revision control un...
Victor S. Grishchenko
HT
2007
ACM
15 years 7 months ago
HSTP: hyperspeech transfer protocol
HTTP provides a mechanism to connect web sites. Almost all sites have a large amount of hypertext content that provides connection to other sites in the World Wide Web. The succes...
Sheetal K. Agarwal, Dipanjan Chakraborty, Arun Kum...