Sciweavers

2500 search results - page 204 / 500
» Specifying Behavior in C
Sort
View
106
Voted
JAIR
2007
95views more  JAIR 2007»
15 years 3 months ago
Consistency and Random Constraint Satisfaction Models
In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show tha...
Yong Gao, Joseph C. Culberson
132
Voted
SIAMAM
2000
79views more  SIAMAM 2000»
15 years 3 months ago
A Mathematical Model for Spatially Varying Extracellular Matrix Alignment
Orientation of extracellular matrix fibers in the skin is a key ingredient of tissue appearance and function, and differences in fiber alignment are one of the main distinctions be...
John C. Dallon, Jonathan A. Sherratt
124
Voted
SIAMCO
2000
110views more  SIAMCO 2000»
15 years 3 months ago
On the Minimizing Property of a Second Order Dissipative System in Hilbert Spaces
We study the asymptotic behavior at infinity of solutions of a second order evolution equation with linear damping and convex potential. The differential system is defined in a rea...
Felipe Alvarez
120
Voted
AROBOTS
1999
118views more  AROBOTS 1999»
15 years 3 months ago
GripSee: A Gesture-Controlled Robot for Object Perception and Manipulation
We have designed a research platform for a perceptually guided robot, which also serves as a demonstrator for a coming generation of service robots. In order to operate semi-autono...
Mark Becker, Efthimia Kefalea, Eric Maël, Chr...
142
Voted
TSMC
1998
139views more  TSMC 1998»
15 years 3 months ago
A neuro-fuzzy controller for mobile robot navigation and multirobot convoying
—A Neural integrated Fuzzy conTroller (NiF-T) which integrates the fuzzy logic representation of human knowledge with the learning capability of neural networks is developed for ...
Kim C. Ng, Mohan M. Trivedi