2794 search results - page 455 / 559 » A New Architecture for Automated Modelling |
170
click to vote
FUZZIEEE
2007
IEEE
16 years 21 days ago
2007
IEEE
— This article presents a self-fuzzification method to enhance the settings of a Fuzzy Reasoning Classification adapted to the automated inspection of wooden boards. The supervis...
159
click to vote
ISBI
2007
IEEE
16 years 20 days ago
2007
IEEE
Knife-Edge Scanning Microscopy (KESM) is a recently developed technique that allows fast and automated imaging of several hundred cubic millimeters of tissue at sub-micron resolut...
187
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
164
click to vote
QSIC
2007
IEEE
16 years 19 days ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...
156
click to vote
LPAR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...