7124 search results - page 426 / 1425 » Programming Languages and Operating Systems |
192
click to vote
ISSTA
2006
ACM
16 years 26 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
168
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes a system for handwritten Chinese text recognition integrating language model. On a text line image, the system generates character segmentation and word segme...
192
click to vote
SIGCOMM
2003
ACM
16 years 4 days ago
2003
ACM
Packet traces of operational Internet traffic are invaluable to network research, but public sharing of such traces is severely limited by the need to first remove all sensitive...
198
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
Multimodal grammars provide an expressive formalism for multimodal integration and understanding. However, handcrafted multimodal grammars can be brittle with respect to unexpecte...
241
click to vote
ROOM
2000
15 years 8 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...