Sciweavers

307 search results - page 53 / 62
» Fuzzy sets and geometric logic
Sort
View
FUZZIEEE
2007
IEEE
14 years 1 months ago
Soft Target Based Obstacle Avoidance for Car-like Mobile Robot in Dynamic Environment
— The real time flexible operation of a car-like mobile robot with nonholonomic constraints in dynamic environment is still a very challenging problem. The difficulty lies in t...
Yougen Chen, Seiji Yasunobu
AML
2005
84views more  AML 2005»
13 years 7 months ago
Modularity of proof-nets
When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certain border. We call pretype of a module the set of partitions over its border indu...
Roberto Maieli, Quintijn Puite
EH
1999
IEEE
351views Hardware» more  EH 1999»
13 years 11 months ago
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
Marek A. Perkowski, Alan Mishchenko, Anatoli N. Ch...
FSKD
2005
Springer
91views Fuzzy Logic» more  FSKD 2005»
14 years 28 days ago
Visualization Process for Design and Manufacturing of End Mills
The development of CAM system for design and manufacturing of end mills becomes a key approach to save the time and reduce cost for end mills manufacturing. This paper presents the...
Sung-Lim Ko, Trung-Thanh Pham, Yong-Hyun Kim
RSCTC
2004
Springer
121views Fuzzy Logic» more  RSCTC 2004»
14 years 22 days ago
On the Correspondence between Approximations and Similarity
Abstract. This paper focuses on the use and interpretation of approximate databases where both rough sets and indiscernibility partitions are generalized and replaced by approximat...
Patrick Doherty, Andrzej Szalas