4126 search results - page 808 / 826 » Set based logic programming |
139
Voted
ICFEM
2007
Springer
16 years 15 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
157
Voted
RTA
2007
Springer
16 years 14 days ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
177
click to vote
XPU
2007
Springer
16 years 14 days ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
173
Voted
CVPR
2010
IEEE
16 years 10 hour ago
2010
IEEE
The explosive growth of the vision data motivates the recent studies on efficient data indexing methods such as locality-sensitive hashing (LSH). Most existing approaches perform...
172
Voted
CLUSTER
2005
IEEE
15 years 12 months ago
2005
IEEE
With several recent initiatives in the protocol offloading technology present on network adapters, the user market is now distributed amongst various technology levels including r...