9067 search results - page 1477 / 1814 » Adaptive Model Checking |
157
click to vote
ICCS
2003
Springer
16 years 15 days ago
2003
Springer
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
199
click to vote
ECCV
2010
Springer
16 years 15 days ago
2010
Springer
Learning a new object class from cluttered training images is very challenging when the location of object instances is unknown. Previous works generally require objects covering a...
201
click to vote
DATE
2010
IEEE
16 years 12 days ago
2010
IEEE
— The task scheduler of an energy harvesting wireless sensor node (WSN) must adapt the task complexity and maximize the accuracy of the tasks within the constraint of limited ene...
184
click to vote
CA
2002
IEEE
16 years 8 days ago
2002
IEEE
Virtual conversational agents are supposed to combine speech with nonverbal modalities for intelligible and believeable utterances. However, the automatic synthesis of coverbal ge...
175
click to vote
COMPSAC
2002
IEEE
16 years 8 days ago
2002
IEEE
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...