3335 search results - page 132 / 667 » A Unified Approach to Modeling and Programming |
202
click to vote
NAACL
2010
15 years 4 months ago
2010
Machine translation benefits from two types of decoding techniques: consensus decoding over multiple hypotheses under a single model and system combination over hypotheses from di...
146
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
150
click to vote
WSC
1998
15 years 7 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
143
click to vote
IJCAI
2007
15 years 7 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
160
click to vote
ESORICS
2007
Springer
16 years 18 days ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...