4290 search results - page 289 / 858 » Formal Approaches to Teamwork |
201
click to vote
ICDAR
2005
IEEE
16 years 13 days ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
161
click to vote
CHARME
2005
Springer
16 years 11 days ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
167
click to vote
PROMAS
2005
Springer
16 years 9 days ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
185
click to vote
AMAST
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
156
click to vote
ICFCA
2004
Springer
16 years 6 days ago
2004
Springer
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...