9405 search results - page 140 / 1881 » Computing a Model of Set Theory |
73
Voted
GROUP
2007
ACM
15 years 2 months ago
2007
ACM
Community Bar (CB) is groupware supporting informal awareness and casual interaction. CB's design was derived from three sources: prior empirical research findings concerning...
120
click to vote
LOGCOM
2010
14 years 5 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
ISSAC
2009
Springer
15 years 4 months ago
2009
Springer
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
ACCV
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Analyzing the crowd dynamics from video sequences is an open challenge in computer vision. Under a high crowd density assumption, we characterize the dynamics of the crow...
ACCV
2006
Springer
15 years 4 months ago
2006
Springer
Although most works in computer vision use perspective or other central cameras, the interest in non-central camera models has increased lately, especially with respect to omnidire...