223 search results - page 19 / 45 » An Efficient Computation of the Multiple-Bernoulli Language ... |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
A number of recent studies have demonstrated that groups benefit considerably from access to shared visual information. This is due, in part, to the communicative efficiencies pro...
88
Voted
VLSID
1999
IEEE
15 years 1 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
ACL
1998
14 years 11 months ago
1998
This paper presents a new model for word alignments between parallel sentences, which allows one to accurately estimate different parameters, in a computationally efficient way. A...
FASE
2010
Springer
15 years 28 days ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
SKG
2006
IEEE
15 years 3 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...