1420 search results - page 165 / 284 » Representation of Graphs by OBDDs |
177
click to vote
VALUETOOLS
2006
ACM
16 years 14 days ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
179
click to vote
ICMCS
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents techniques in clustering the sametopic news stories according to event themes. We model the relationship of stories with textual and visual concepts under the ...
155
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present some techniques for handling planning problems with numerical expressions that can be specified using the standard planning language PDDL. These techniques ar...
170
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
168
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...