877 search results - page 133 / 176 » How to Cover a Grammar |
202
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
269
click to vote
DAI
1998
Springer
15 years 10 months ago
1998
Springer
A physically based system of interacting polyhedral objects is used to model self-assembly and spontaneous organization of complex structures. The surfaces of the polyhedra in the ...
141
click to vote
HICSS
1996
IEEE
15 years 10 months ago
1996
IEEE
The recent enormous increase in the use of networked information access and on-line databases has led to more databases being available in languages other than English. The Center...
170
click to vote
COLT
1997
Springer
15 years 10 months ago
1997
Springer
The problem of learning linear discriminant concepts can be solved by various mistake-driven update procedures, including the Winnow family of algorithms and the well-known Percep...
165
click to vote
SSD
1997
Springer
15 years 10 months ago
1997
Springer
Abstract: In many geographical applications there is a need to model spatial phenomena not simply by sharp objects but rather through indeterminate or vague concepts. To support su...