3909 search results - page 439 / 782 » Extreme Model Checking |
270
click to vote
AIHC
2007
Springer
15 years 11 months ago
2007
Springer
Affective and human-centered computing have attracted a lot of attention during the past years, mainly due to the abundance of devices and environments able to exploit multimodal i...
130
click to vote
AE
2005
Springer
15 years 10 months ago
2005
Springer
Ligation is a form of chemical self-assembly that involves dynamic formation of strong covalent bonds in the presence of weak associative forces. We study an extremely simple form ...
143
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Basically, instrumental conditioning is learning through consequences: Behavior that produces positive results (high “instrumental response”) is reinforced, and that which pro...
164
click to vote
ICWSM
2009
15 years 2 months ago
2009
Whether they are modeling bookmarking behavior in Flickr or cascades of failure in large networks, models of diffusion often start with the assumption that a few nodes start long ...
136
click to vote
IWSAS
2001
Springer
15 years 9 months ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...