3780 search results - page 357 / 756 » Structured Relation Discovery using Generative Models |
151
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
158
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Interconnect structures including dielectrics can be modeled by an integral equation method using volume currents and surface charges for the conductors, and volume polarization c...
205
click to vote
ICTAI
2006
IEEE
16 years 25 days ago
2006
IEEE
Enterprise corpora contain evidence of what employees work on and therefore can be used to automatically find experts on a given topic. We present a general approach for represen...
165
click to vote
LREC
2008
15 years 8 months ago
2008
This paper reports on the main phases of a research which aims at enhancing a maritime terminological database by means of a set of terms belonging to meteorology. The structure o...
177
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...