Sciweavers

1977 search results - page 235 / 396
» The satisfactory partition problem
Sort
View
RAS
2006
115views more  RAS 2006»
15 years 4 months ago
Trajectory tracking control of farm vehicles in presence of sliding
In automatic guidance of agriculture vehicles, lateral control is not the only requirement. Much research work has been focused on trajectory tracking control which can provide hi...
Hao Fang, Ruixia Fan, Benoit Thuilot, Philippe Mar...
TCS
2008
15 years 4 months ago
A typed lambda calculus with intersection types
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
Viviana Bono, Betti Venneri, Lorenzo Bettini
BMCBI
2005
100views more  BMCBI 2005»
15 years 4 months ago
Evolutionary models for insertions and deletions in a probabilistic modeling framework
Background: Probabilistic models for sequence comparison (such as hidden Markov models and pair hidden Markov models for proteins and mRNAs, or their context-free grammar counterp...
Elena Rivas
JSAC
2007
153views more  JSAC 2007»
15 years 4 months ago
Cooperative Relay Service in a Wireless LAN
As a family of wireless local area network (WLAN) protocols between physical layer and higher layer protocols, IEEE 802.11 has to accommodate the features and requirements of both...
Lei Guo, Xiaoning Ding, Haining Wang, Qun Li, Song...
TVCG
2008
151views more  TVCG 2008»
15 years 4 months ago
Visualization of Particle Interactions in Granular Media
Interaction between particles in so-called granular media, such as soil and sand, plays an important role in the context of geomechanical phenomena and numerous industrial applicat...
Holger A. Meier, Michael Schlemmer, Christian Wagn...