Sciweavers

124 search results - page 4 / 25
» gi 2007
Sort
View
GI
2007
Springer
14 years 2 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
14 years 2 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
14 years 2 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 10 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 10 months ago
An Effective Bump Mapping Hardware Architecture Using Polar Coordinate System
Seung-Gi Lee, Woo-Chan Park, Won-Jong Lee, Sung-Bo...