2066 search results - page 223 / 414 » Word Maturity: Computational Modeling of Word Knowledge |
133
click to vote
ENDM
2000
15 years 4 months ago
2000
Planning and scheduling attracts an unceasing attention of computer science community. Several research areas like Artificial Intelligence, Operations Research and Constraint Prog...
156
click to vote
ICOIN
2007
Springer
15 years 10 months ago
2007
Springer
Exploring topological structure at Autonomous System (AS) level is indispensable for understanding most issues in Internet services. Previous models of AS graph involve address or ...
120
click to vote
INLG
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Although humans are the ultimate “natural language generators”, the area of psycholinguistic modeling has been somewhat underrepresented in recent approaches to Natur...
140
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
137
click to vote
ATMOS
2007
15 years 6 months ago
2007
The optimal track allocation problem (OPTRA) is to find, in a given railway network, a conflict free set of train routes of maximum value. We study two types of integer programmi...