490 search results - page 50 / 98 » Automated Generalization of Translation Examples |
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Whereas schools typically record mounds of data regarding student performance, attendance, and other behaviors over the course of a school year, rarely is that data consulted and ...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
LICS
2000
IEEE
14 years 26 min ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
LICS
1999
IEEE
13 years 12 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
LOPSTR
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...