9204 search results - page 97 / 1841 » Modelling the dynamics of biosystems |
206
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Network data models are frequently used as a mechanism to describe the connectivity between spatial features in many emerging GIS applications (location-based services, transporta...
101
click to vote
CHI
2007
ACM
16 years 2 months ago
2007
ACM
If applications were able to detect a user's expertise, then software could automatically adapt to better match expertise. Detecting expertise is difficult because a user...
124
click to vote
IFM
2009
Springer
15 years 8 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
179
click to vote
ENTCS
2006
15 years 2 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
99
Voted
CHI
2008
ACM
16 years 2 months ago
2008
ACM
Peephole interaction occurs when a spatially aware display is moved and acts as a viewport to reveal different parts of the virtual space that cannot all fit within the display at...