2038 search results - page 365 / 408 » Probabilistic Agent Programs |
110
click to vote
IDEAL
2010
Springer
14 years 9 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...
134
click to vote
CHI
2010
ACM
14 years 8 months ago
2010
ACM
Teaching is inherently a social interaction between teacher and student. Despite this knowledge, many educational tools, such as vocabulary training programs, still model the inte...
AAAI
2011
13 years 11 months ago
2011
We propose a fast batch learning method for linearchain Conditional Random Fields (CRFs) based on Newton-CG methods. Newton-CG methods are a variant of Newton method for high-dime...
117
click to vote
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
152
click to vote
MOBIHOC
2005
ACM
15 years 11 months ago
2005
ACM
We consider a wireless sensor network in which sensors are grouped into clusters, each with its own cluster head (CH). Each CH collects data from sensors in its cluster and relays...