1750 search results - page 164 / 350 » Formal multiple-bernoulli models for language modeling |
140
click to vote
AAAI
1994
15 years 7 months ago
1994
This paper conjectures a computational account of how children might learn the meanings of words in their native language. First, a simplified version of the lexical acquisition t...
154
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
164
click to vote
IEEEICCI
2006
IEEE
16 years 7 days ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
145
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
149
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...