935 search results - page 79 / 187 » Stable models and difference logic |
107
click to vote
ACL
2006
15 years 4 months ago
2006
Chatting is a popular communication media on the Internet via ICQ, chat rooms, etc. Chat language is different from natural language due to its anomalous and dynamic natures, whic...
111
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We analyze a previously unexplored generalization of the scalar total variation to vector-valued functions, which is motivated by geometric measure theory. A complete mathematical...
145
click to vote
FGR
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we propose an algorithm for sustained tracking of humans, where we combine frame-to-frame articulated motion estimation with a per-frame body detection algorithm. T...
132
click to vote
WSC
1997
15 years 4 months ago
1997
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...
142
click to vote
WLP
2004
Springer
15 years 8 months ago
2004
Springer
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...