5451 search results - page 487 / 1091 » Typed Operational Semantics |
170
click to vote
AVI
2008
15 years 9 months ago
2008
To make sense from large amounts of movement data (sequences of positions of moving objects), a human analyst needs interactive visual displays enhanced with database operations a...
182
click to vote
EAAI
2006
15 years 6 months ago
2006
This article is about a new approach in robotic learning systems. It provides a method to use a real-world device that operates in real-time, controlled through a simulated recurr...
191
click to vote
BC
2000
15 years 6 months ago
2000
We identify generic sources of complex and irregular spiking in biological neural networks. For the network description, we operate on a mathematically exact mesoscopic approach. S...
183
click to vote
JLP
2011
15 years 1 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
172
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Constructing and maintaining semantic mappings are necessary but troublesome in data sharing systems. While most current work focuses on seeking automated techniques to solve this...