9067 search results - page 1751 / 1814 » Adaptive Model Checking |
213
click to vote
ICWS
2010
IEEE
15 years 3 months ago
2010
IEEE
Given the large amount of existing services and the diversified needs nowadays, it is time-consuming for end-users to find appropriate services. To help end-users obtain their desi...
161
click to vote
ICNP
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--To ensure state synchronization of signalling operations, many signaling protocol designs choose to establish "soft" state that expires if it is not refreshed. ...
174
click to vote
COMPUTER
2010
15 years 3 months ago
2010
Computational finance leverages computer technologies to build models from large amounts of data to extract insight. In today's networked world, the amount of data available t...
171
click to vote
CONNECTION
2010
15 years 3 months ago
2010
Abstract. Despite the great amount of knowledge produced by the neuroscientific literature affective phenomena, current models tackling noncognitive aspects of behavior are often b...
165
click to vote
IJRR
2011
15 years 29 days ago
2011
We discuss vision as a sensory modality for systems that effect actions in response to perceptions. While the internal representations informed by vision may be arbitrarily compl...