Sciweavers

7380 search results - page 328 / 1476
» time 2008
Sort
View
108
Voted
CDC
2008
IEEE
16 years 1 months ago
On the inverse scattering of star-shape LC-networks
— The study of the scattering data for a star-shape network of LC-transmission lines is transformed into the scattering analysis of a Schr¨odinger operator on the same graph. Th...
Filippo Visco-Comandini, Mazyar Mirrahimi, Michel ...
CAV
2008
Springer
99views Hardware» more  CAV 2008»
15 years 8 months ago
Correcting a Space-Efficient Simulation Algorithm
Although there are many efficient algorithms for calculating the simulation preorder on finite Kripke structures, only two have been proposed of which the space complexity is of t...
Rob J. van Glabbeek, Bas Ploeger
ESA
2008
Springer
81views Algorithms» more  ESA 2008»
15 years 8 months ago
An Efficient Algorithm for 2D Euclidean 2-Center with Outliers
For a set P of n points in R2 , the Euclidean 2-center problem computes a pair of congruent disks of the minimal radius that cover P. We extend this to the (2, k)-center problem wh...
Pankaj K. Agarwal, Jeff M. Phillips
FIS
2008
15 years 8 months ago
A First Step Towards Stream Reasoning
While reasoners are year after year scaling up in the classical, time invariant domain of ontological knowledge, reasoning upon rapidly changing information has been neglected or f...
Emanuele Della Valle, Stefano Ceri, Davide Frances...
SOCRATES
2008
106views Education» more  SOCRATES 2008»
15 years 8 months ago
Open Education and Virtual Communities: an Experience
In Fall 2007, Utah State University professor David Wiley held a course about Open Education. That time Dr Wiley's course was followed by an unusual group of students. The Fa...
Antonio Fini, Andreas Robert Formiconi, Alessandro...