1291 search results - page 186 / 259 » Computing the multiplicity structure in solving polynomial s... |
106
click to vote
STACS
1997
Springer
15 years 5 months ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
103
click to vote
AI
2000
Springer
15 years 1 months ago
2000
Springer
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
131
click to vote
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
This work addresses the important problem of the discovery
and analysis of social networks from surveillance video.
A computer vision approach to this problem is made possible
b...
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
118
click to vote
APNOMS
2006
Springer
15 years 5 months ago
2006
Springer
Many researches on context aware computing are carried out around the world. Among them, Context-Toolkit and Semantic Space provide separation of concerns between sensor and applic...