3639 search results - page 416 / 728 » Provenance as Dependency Analysis |
197
click to vote
ANSS
2004
IEEE
15 years 10 months ago
2004
IEEE
Recent advances in micro electro-mechanical systems and VLSI lithography have enabled the miniaturization of sensors and controllers. Such minitiarization facilitates the deployme...
176
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
151
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
During last years, the Time-Triggered Architecture (TTA) has been gaining acceptance as a generic architecture for highly dependable real-time systems. It is now being used to imp...
200
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
We propose a method for discovering the dependency relationships between the topics of documents shared in social networks using the latent social interactions, attempting to answ...
173
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...