7213 search results - page 185 / 1443 » Automated model grouping |
159
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Recognition of signs in sentences requires a training
set constructed out of signs found in continuous sentences.
Currently, this is done manually, which is a tedious process.
I...
153
click to vote
KDD
2010
ACM
15 years 7 months ago
2010
ACM
Internet users regularly have the need to find biographies and facts of people of interest. Wikipedia has become the first stop for celebrity biographies and facts. However, Wik...
185
click to vote
ISPA
2004
Springer
15 years 9 months ago
2004
Springer
Static DHT topologies influence important features of such DHTs such as scalability, communication load balancing, routing efficiency and fault tolerance. Nevertheless, it is co...
193
click to vote
ENTCS
2006
15 years 4 months ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
113
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...