2098 search results - page 194 / 420 » Syntactic Topic Models |
ENTCS
2008
13 years 10 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
SECRYPT
2010
13 years 8 months ago
2010
Security for Next Generation Networks (NGNs) is an attractive topic for many research groups. The Y-Comm security group believes that a new security approach is needed to address t...
CORR
2012
Springer
12 years 6 months ago
2012
Springer
Discovering causal relations among observed variables in a given data set is a main topic in studies of statistics and artificial intelligence. Recently, some techniques to disco...
WACV
2005
IEEE
14 years 3 months ago
2005
IEEE
Future Machine Vision applications have to cope with 3D non-rigid objects. One such application is 3D pose estimation of cactus leaves, which is the topic in this paper. We apply ...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
: Automated Guided Vehicles (or AGVs for short) have become an important option in material handling. In many applications, such as container terminals, the service area is often a...