4305 search results - page 371 / 861 » Analysing Protocol Implementations |
189
click to vote
GREC
2005
Springer
16 years 8 days ago
2005
Springer
We present an approach for recognising mathematical texts using an extensive LATEX symbol database and a novel recognition algorithm. The process consists essentially of three step...
133
click to vote
PKDD
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The paper presents an example of exploratory data analysis of climate measurements using a recently developed denoising source separation (DSS) framework. We analysed a c...
150
click to vote
AH
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The virtual laboratory (VILAB) supports interactive problem solving in computer science with access to complex software-tools. During the problem solving processes the le...
154
click to vote
AISC
2004
Springer
16 years 4 days ago
2004
Springer
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently developed strong interactions with symbolic computation, i...
185
click to vote
FAABS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...