Sciweavers

653 search results - page 71 / 131
» ASP: from Application Development to Syntax Extensions
Sort
View
CSFW
2010
IEEE
15 years 7 months ago
Formal Verification of Privacy for RFID Systems
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
Mayla Brusò, Konstantinos Chatzikokolakis, ...
EMNLP
2007
15 years 5 months ago
LEDIR: An Unsupervised Algorithm for Learning Directionality of Inference Rules
Semantic inference is a core component of many natural language applications. In response, several researchers have developed algorithms for automatically learning inference rules...
Rahul Bhagat, Patrick Pantel, Eduard H. Hovy
JNW
2006
148views more  JNW 2006»
15 years 4 months ago
An Energy Efficient Approach to Dynamic Coverage in Wireless Sensor Networks
Tracking of mobile targets is an important application of sensor networks. This is a non-trivial problem as the increased accuracy of tracking results in an overall reduction in th...
Mohamed Khalil Watfa, Sesh Commuri
EOR
2007
90views more  EOR 2007»
15 years 4 months ago
Arc routing problems with time-dependent service costs
This paper studies an arc routing problem with capacity constraints and time-dependent service costs. This problem is motivated by winter gritting applications where the ‘‘tim...
Mariam Tagmouti, Michel Gendreau, Jean-Yves Potvin
IJKL
2007
97views more  IJKL 2007»
15 years 4 months ago
Knowledge society arguments revisited in the semantic technologies era
: In the light of high profile governmental and international efforts to realise the knowledge society, I review the arguments made for and against it from a technology standpoint....
Yannis Kalfoglou