2469 search results - page 297 / 494 » Representations of Metabolic Knowledge |
166
click to vote
TABLEAUX
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
132
Voted
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
114
Voted
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
We report on analysis of discussions in an online community of people with chronic illness using socio-cognitively motivated, automatically produced semantic spaces. The analysis ...
143
Voted
CIMCA
2005
IEEE
15 years 10 months ago
2005
IEEE
Several methodologies based on Multi-agent Systems (MAS) already exist. They help designers to describe software or to create MAS which aim at solving complex problems by simulati...
158
click to vote
CVPR
2005
IEEE
15 years 10 months ago
2005
IEEE
Here we explore a discriminative learning method on underlying generative models for the purpose of discriminating between object categories. Visual recognition algorithms learn m...