1463 search results - page 265 / 293 » The State of the Art in Language Modeling |
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
UM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Traditional websites have long relied on users revealing their preferences explicitly through direct manipulation interfaces. However recent recommender systems have gone...
MEMOCODE
2007
IEEE
14 years 1 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
PPSWR
2005
Springer
14 years 27 days ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
KI
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...