877 search results - page 133 / 176 » How to Cover a Grammar |
138
Voted
DATE
1999
IEEE
15 years 4 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...
192
Voted
DAI
1998
Springer
15 years 4 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 ...
HICSS
1996
IEEE
15 years 4 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...
104
Voted
COLT
1997
Springer
15 years 4 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...
109
click to vote
SSD
1997
Springer
15 years 4 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...