Sciweavers

124 search results - page 4 / 25
» gi 2007
Sort
View
GI
2007
Springer
13 years 9 months ago
Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen
: Der Artikel beschreibt, wie endliche Automaten f
Gunther Vogel
GI
2007
Springer
13 years 9 months ago
Anwendung von Hochfrequenz-Transpondern zur Tieridentifikation
Abstract: Zur elektronischen Identifikation von Einzeltieren mit Hilfe von LFTranspondern (134,2 kHz) sind f
Georg Fröhlich, Stephan Böck, Stefan Thu...
GI
2007
Springer
13 years 9 months ago
TRUSTEE - Beratung beim Kauf von technischen Produkten
: Selbstberatung am Rechner beim Kauf eines technischen Produktes ist durch die Informationsvielfalt des Internets m
Sebastian Schmidt, Herbert Stoyan, Bernd Ludwig
AML
2005
91views more  AML 2005»
13 years 5 months ago
A proof-theoretical investigation of global intuitionistic (fuzzy) logic
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced b...
Agata Ciabattoni
JISE
2007
68views more  JISE 2007»
13 years 5 months ago
An Effective Bump Mapping Hardware Architecture Using Polar Coordinate System
Seung-Gi Lee, Woo-Chan Park, Won-Jong Lee, Sung-Bo...