577 search results - page 83 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
CIKM
2006
Springer
14 years 29 days ago
2006
Springer
With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customers. Toward ...
DLOG
2006
13 years 10 months ago
2006
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query an...
CICLING
2010
Springer
13 years 11 months ago
2010
Springer
The translation quality and parsing efficiency are often disappointed when Rule based Machine Translation systems deal with long sentences. Due to the complicated syntactic structu...
AINA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Structured peer-to-peer systems have grown enormously because of their scalability, efficiency and reliability. These systems assign a unique identifier to each user ...
ADAC
2008
13 years 9 months ago
2008
We consider the problem of multiple fitting of linearly parametrized curves, that arises in many computer vision problems such as road scene analysis. Data extracted from images us...