Sciweavers

171 search results - page 23 / 35
» Solution Methods for a New Class of Simple Model Neurons
Sort
View
RTCSA
2003
IEEE
14 years 18 days ago
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
Anders Wall, Johan Andersson, Jonas Neander, Chris...
AISS
2010
146views more  AISS 2010»
13 years 2 months ago
Zatara, the Plug-in-able Eventually Consistent Distributed Database
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
Bogdan Carstoiu, Dorin Carstoiu
ECCC
2010
98views more  ECCC 2010»
13 years 5 months ago
Verifying Computations with Streaming Interactive Proofs
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
Graham Cormode, Justin Thaler, Ke Yi
ECTEL
2007
Springer
14 years 1 months ago
Flexible Processes in Project-Centred Learning
Project-centred learning is increasingly used both in academia and in companies; universities train students to master complex tasks, often suggested by real-life situations, while...
Stefano Ceri, Maristella Matera, Alessandro Raffio...
ITCC
2003
IEEE
14 years 18 days ago
Estimation Of Motion From A Sequence Of Images Using Spherical Projective Geometry
: Motion is an important cue for many applications. Here we propose a solution for estimating motion from a sequence of images using three algorithms, viz., Batch, Recursive and Bo...
Madasu Hanmandlu, Shantaram Vasikarla, Vamsi Krish...