2042 search results - page 217 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
146
Voted
SIGIR
2003
ACM
15 years 8 months ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...
109
Voted
MOBIHOC
2005
ACM
16 years 3 months ago
2005
ACM
Recently, several studies have analyzed the statistical properties of low power wireless links in real environments, clearly demonstrating the differences between experimentally o...
171
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
154
Voted
CATA
2003
15 years 4 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
152
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Parallelizing compiler technology has improved in recent years. One area in which compilers have made progress is in handling DOACROSS loops, where crossprocessor data dependencie...