4460 search results - page 836 / 892 » Formal methods for interactive systems |
SAC
2005
ACM
14 years 1 months ago
2005
ACM
We present a strategy for analyzing large, social small-world graphs, such as those formed by human networks. Our approach brings together ideas from a number of different resear...
SI3D
2005
ACM
14 years 1 months ago
2005
ACM
We present a sampling strategy and rendering framework for intersectable models, whose surface is implicitly defined by a black box intersection test that provides the location a...
SIGCSE
2005
ACM
14 years 1 months ago
2005
ACM
As Computer Science (CS) educators, we are involved in teaching a variety of undergraduate and graduate courses such as database management systems, networking, software developme...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
: In this paper we present two computational approaches that can be used characterize and measure online threaded discussions and demonstrate that they can objectively validate stu...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We examine whether and how the Multiagent Plan Coordination Problem, the problem of resolving interactions between the plans of multiple agents, can be cast as a Distributed Const...