1268 search results - page 140 / 254 » Direct Translation Model 2 |
109
Voted
CVPR
2001
IEEE
16 years 4 months ago
2001
IEEE
See a PPT file with videos at www.research.microsoft.com/users/jojic/FlexiblesSprites.htm We propose a technique for automatically learning layers of "flexible sprites" ...
107
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
101
click to vote
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
146
Voted
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
146
Voted
CPAIOR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...