4743 search results - page 96 / 949 » The PlusCal Algorithm Language |
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
115
click to vote
PPDP
2010
Springer
15 years 4 days ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
240
click to vote
AFRIGRAPH
2010
ACM
15 years 6 months ago
2010
ACM
Image registration forms the basis of many computer vision tasks. The Lucas-Kanade image registration algorithm is known to efficiently solve the sub-problem of rigid image regis...
111
click to vote
ACL
2006
15 years 3 months ago
2006
This paper presents a novel training algorithm for a linearly-scored block sequence translation model. The key component is a new procedure to directly optimize the global scoring...
125
click to vote
COLING
1996
15 years 3 months ago
1996
The Decision Tree Learning Algorithms (DTLAs) are getting keen attention from the natural language processing research comlnunity, and there have been a series of attempts to appl...