Sciweavers

3628 search results - page 653 / 726
» Dynamic Application Structuring on Heterogeneous, Distribute...
Sort
View
108
Voted
CALCO
2007
Springer
118views Mathematics» more  CALCO 2007»
15 years 8 months ago
Coalgebraic Epistemic Update Without Change of Model
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
Corina Cîrstea, Mehrnoosh Sadrzadeh
121
Voted
KI
2007
Springer
15 years 8 months ago
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
Fredrik Heintz, Piotr Rudol, Patrick Doherty
DATE
2005
IEEE
180views Hardware» more  DATE 2005»
15 years 8 months ago
A Coprocessor for Accelerating Visual Information Processing
Visual information processing will play an increasingly important role in future electronics systems. In many applications, e.g. video surveillance cameras, data throughput of mic...
Walter Stechele, L. Alvado Cárcel, Stephan ...
SSD
2001
Springer
162views Database» more  SSD 2001»
15 years 7 months ago
Interval Sequences: An Object-Relational Approach to Manage Spatial Data
The design of external index structures for one- and multidimensional extended objects is a long and well studied subject in basic database research. Today, more and more commercia...
Hans-Peter Kriegel, Marco Pötke, Thomas Seidl
EUROCRYPT
1997
Springer
15 years 6 months ago
The GCHQ Protocol and Its Problems
The UK government is fielding an architecture for secure electronic mail based on the NSA’s Message Security Protocol, with a key escrow scheme inspired by Diffie-Hellman. Attem...
Ross J. Anderson, Michael Roe