10285 search results - page 1941 / 2057 » Composing Feature Models |
159
click to vote
PG
2007
IEEE
16 years 20 days ago
2007
IEEE
We describe a new algorithm for the visualisation of implicit algebraic curves, which isolates the singular points, compute the topological degree around these points in order to ...
170
click to vote
TPHOL
2007
IEEE
16 years 20 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
185
click to vote
AB
2007
Springer
16 years 18 days ago
2007
Springer
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...
164
click to vote
CIVR
2007
Springer
16 years 17 days ago
2007
Springer
Automatic image annotation automatically labels image content with semantic keywords. For instance, the Relevance Model estimates the joint probability of the keyword and the imag...
206
click to vote
ISBRA
2007
Springer
16 years 16 days ago
2007
Springer
The fundamental goal of computational neuroscience is to discover anatomical features that reflect the functional organization of the brain. Investigations of the physical connect...