3765 search results - page 672 / 753 » Formal Methods for Systems Engineering Behavior Models |
144
click to vote
MM
2009
ACM
15 years 7 months ago
2009
ACM
Television news has become the predominant way of understanding the world around us, but individual news broadcasters can frame or mislead an audience’s understanding of politic...
107
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
112
Voted
IJFCS
2006
15 years 2 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
113
Voted
ICAIL
2007
ACM
15 years 6 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
142
click to vote
SIGGRAPH
1996
ACM
15 years 6 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...