5787 search results - page 673 / 1158 » Generic User Modeling Systems |
189
click to vote
KBSE
2005
IEEE
16 years 15 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
211
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Future agent applications will increasingly represent human users autonomously or semi-autonomously in strategic interactions with similar entities. Hence, there is a growing need...
261
Voted
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
161
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Previous work analyzing social networks has mainly focused on binary friendship relations. However, in online social networks the low cost of link formation can lead to networks w...
180
click to vote
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
We describe an interactive system that models regions of an urban environment, such as a group of tall buildings. Traditional image-based modeling methods often cannot model such ...