1738 search results - page 305 / 348 » Matching Reviews to Objects using a Language Model |
126
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
166
click to vote
CORR
2012
Springer
13 years 11 months ago
2012
Springer
We address the problem of learning the parameters in graphical models when inference is intractable. A common strategy in this case is to replace the partition function with its B...
159
click to vote
APCSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
Dataflow computation models enable simpler and more efficient management of the memory hierarchy - a key barrier to the performance of many parallel programs. This paper describes...
132
Voted
TSE
2008
15 years 3 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
119
Voted
ERCIMDL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this paper, we describe a scenario for a distributed marketplace on the Web where resource discovery agents find out about resources that may want to join the marketpl...