Sciweavers

434 search results - page 51 / 87
» The Case for Browser Provenance
Sort
View
ISBI
2009
IEEE
14 years 3 months ago
A-Contrario Localization of Epileptogenic Zones in Spect Images
In refractory epilepsy, the goal of neuroimaging is to localize the region of seizure onset. Tracers that accumulate and remain fixed proportional to regional cerebral blood flo...
Cecilia Aguerrebere, Pablo Sprechmann, Pablo Mus&e...
ICLP
2009
Springer
14 years 3 months ago
An Engine for Computing Well-Founded Models
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
Terrance Swift
RTSS
2009
IEEE
14 years 3 months ago
Multiprocessor Extensions to Real-Time Calculus
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
Hennadiy Leontyev, Samarjit Chakraborty, James H. ...
MOMPES
2009
IEEE
14 years 3 months ago
Reliable operating modes for distributed embedded systems
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten
WADS
2009
Springer
243views Algorithms» more  WADS 2009»
14 years 3 months ago
Resolving Loads with Positive Interior Stresses
We consider the pair (pi, fi) as a force with two-dimensional direction vector fi applied at the point pi in the plane. For a given set of forces we ask for a non-crossing geometri...
Günter Rote, André Schulz