4460 search results - page 663 / 892 » Formal methods for interactive systems |
179
click to vote
WAW
2004
Springer
15 years 10 months ago
2004
Springer
We develop an algorithm to detect community structure in complex networks. The algorithm is based on spectral methods and takes into account weights and links orientations. Since t...
158
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
144
click to vote
SMALLTALK
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
136
click to vote
SIGGRAPH
2000
ACM
15 years 9 months ago
2000
ACM
We describe a system for non-photorealistic rendering (NPR) of virtual environments. In real time, it synthesizes imagery of architectural interiors using stroke-based textures. W...
140
click to vote
COLING
2000
15 years 6 months ago
2000
While recent advancements in virtual reality technology have created a rich communication interface linking humans and computers, there has been little work on building dialogue s...