9507 search results - page 705 / 1902 » Time-based language models |
159
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A good way to help users finding relevant items on document platforms consists in suggesting content in accordance with their preferences. When implementing such a recom...
135
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
—Behavioral modeling with virtual built-in self-test verification of high-speed wired link designs is described in this paper. Our procedure is based on principles of top-down mi...
199
click to vote
ICECCS
2005
IEEE
16 years 1 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
146
click to vote
UM
2005
Springer
16 years 28 days ago
2005
Springer
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
172
click to vote
SPIN
2001
Springer
15 years 12 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...