366 search results - page 40 / 74 » Synthesis: Words and Traces |
ENTCS
2006
13 years 11 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
JODS
2008
13 years 10 months ago
2008
The ability to deal with inconsistencies and to evaluate the impact of possible solutions for resolving inconsistencies are of the utmost importance in real world ontology applicat...
CAGD
2005
13 years 10 months ago
2005
In this paper, we propose a new quadrilateral remeshing method for manifolds of arbitrary genus that is at once general, flexible, and efficient. Our technique is based on the use...
CIS
2010
Springer
13 years 5 months ago
2010
Springer
A group of mobile robots can localize cooperatively, using relative position and absolute orientation measurements, fused through an extended Kalman filter (ekf). The topology of ...
ICALT
2007
IEEE
14 years 5 months ago
2007
IEEE
This research proposes a picture card dictionary authoring system to support young language learners perform communicative tasks using daily-life words, without teaching them the ...