6020 search results - page 1170 / 1204 » A New Approach to Model Counting |
148
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— In the lion and man game, a lion tries to capture a man who is as fast as the lion. We study a new version of this game which takes place in a Euclidean environment with a circ...
145
click to vote
ICIW
2008
IEEE
15 years 10 months ago
2008
IEEE
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...
164
click to vote
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
137
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—IEEE 802.16e WiMAX is a promising new technology for broadband access networks. Amongst the class of applications that can be supported is real time video services (such...
139
click to vote
SRDS
2008
IEEE
15 years 10 months ago
2008
IEEE
Distributed storage systems often use data replication to mask failures and guarantee high data availability. Node failures can be transient or permanent. While the system must ge...