1366 search results - page 153 / 274 » Modularizing Contexted Constraints |
127
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
142
click to vote
SRDS
1999
IEEE
15 years 7 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
169
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
107
click to vote
CMOT
2004
15 years 2 months ago
2004
Social action is situated in fields that are simultaneously composed of interpersonal ties and relations among organizations, which are both usefully characterized as social netwo...
122
click to vote
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
We consider the problem of learning a similarity function from a set of positive equivalence constraints, i.e. 'similar' point pairs. We define the similarity in informa...