1218 search results - page 111 / 244 » Intelligent Resource Director |
LFCS
2009
Springer
14 years 4 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
IAT
2008
IEEE
14 years 4 months ago
2008
IEEE
Knowledge gathering and investigative tasks in open environments can be very complex because the problemsolving context is constantly evolving, and the data may be incomplete, unr...
IAT
2008
IEEE
14 years 4 months ago
2008
IEEE
The need for recommendation systems to ease user navigations has become evident by growth of information on the Web. There exist many approaches of learning for Web usage-based re...
IAT
2008
IEEE
14 years 4 months ago
2008
IEEE
Relation extraction systems typically rely on local lexical and syntactic features as evidence. Recent work suggests that for a given relation, there might exist certain patterns ...
CEC
2007
IEEE
14 years 4 months ago
2007
IEEE
Network administrators need a tool that detects the kind of applications running on their networks, in order to allocate resources and enforce security policies. Previous work sho...