Sciweavers

61 search results - page 9 / 13
» gi 2008
Sort
View
GI
2008
Springer
13 years 7 months ago
Soziale Netze und die Individualisierung der IT als Datenschutzproblem
: Soziale Netze entsprechen dem Trend einer Individualisierung der Mediennutzung. Dieser Trend ist ambivalent: implizite Erwartungen in Bezug auf Individualisierung wie Selbstbesti...
Jessica Heesen, Martin Neubauer
GI
2008
Springer
13 years 7 months ago
Methoden formalisierter Kundenanforderungsanalyse
: Der Übergang von der Kundensystemspezifikation (als Bestandteil des Lastenhefts) zur Systemspezifikation (als Bestandteil des Pflichtenhefts) beinhaltet das Auffinden und Beseit...
Roland Kapeller
CN
2006
70views more  CN 2006»
13 years 6 months ago
Preventing persistent oscillations and loops in IBGP configuration with route reflection
Abstract-- Internal Border Gateway Protocol (IBGP) is responsible for distributing external reachability information, obtained via External-BGP (EBGP) sessions, within an autonomou...
Anuj Rawat, Mark A. Shayman
PRL
2008
96views more  PRL 2008»
13 years 6 months ago
Outlier rejection for cameras on intelligent vehicles
This paper proposes an algorithm for rejecting false matches (known as outliers) in image pairs acquired with automobile-mounted cameras. Many intelligent vehicle applications req...
Jae Kyu Suhr, Ho Gi Jung, Kwanghyuk Bae, Jaihie Ki...
JSYML
2008
73views more  JSYML 2008»
13 years 6 months ago
Examining fragments of the quantified propositional calculus
When restricted to proving q i formulas, the quantified propositional proof system G i is closely related to the b i theorems of Buss's theory Si 2. Namely, G i has polynomial...
Steven Perron