3267 search results - page 610 / 654 » Computational Models of Language Acquisition |
VLSID
2002
IEEE
14 years 9 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
CSCW
2010
ACM
14 years 5 months ago
2010
ACM
The “localness” of participation in repositories of usergenerated content (UGC) with geospatial components has been cited as one of UGC’s greatest benefits. However, the deg...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
CALCO
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
IEEEPACT
2008
IEEE
14 years 3 months ago
2008
IEEE
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...