784 search results - page 82 / 157 » The logic of tasks |
DSS
2002
13 years 8 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
INTERSPEECH
2010
13 years 3 months ago
2010
Practical supervised learning scenarios involving subjectively evaluated data have multiple evaluators, each giving their noisy version of the hidden ground truth. Majority logic ...
ICDAR
2011
IEEE
12 years 8 months ago
2011
IEEE
– Better understanding the document logical components is crucial to many applications, e.g., document classification or data integration. As the development of digital libraries...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...