2153 search results - page 351 / 431 » From Requirements Models to Formal Specifications in B |
169
click to vote
ISCI
2008
15 years 6 months ago
2008
Directed signature scheme allows only a designated verifier to check the validity of the signature issued to him; and at the time of trouble or if necessary, any third party can v...
179
click to vote
AAAI
2008
15 years 8 months ago
2008
Classification of texts potentially containing a complex and specific terminology requires the use of learning methods that do not rely on extensive feature engineering. In this w...
275
click to vote
ICDE
2002
IEEE
16 years 7 months ago
2002
IEEE
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
122
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Tracking people within a scene has been a longstanding challenge in the field of computer vision. A common approach involves matching the background against the incoming video str...
133
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Most co-authoring tools support basic annotations, such as edits and comments that are anchored at specific locations in the document. However, they do not support metacommentary ...