3458 search results - page 304 / 692 » Abstracting Control |
125
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
129
click to vote
ICCSA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Skeleton driven animation is a popular method for the animation of deformable human and creature characters. The main advantage is its computational performance. However ...
115
click to vote
IJCNLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we describe a method of automatically generating summary slides from a text. The slides are generated by itemizing topic/non-topic parts that are extracted...
136
click to vote
MIRRORBOT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Improving the game play in RoboCup middle size league requires a fast and robust visual robot detection system. The presented multilevel approach documents, that the comb...
132
click to vote
SG
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Large horizontal displays provide new opportunities to support individual and collaborative activities such as creativity and organizational tasks. We present Interface C...