1593 search results - page 95 / 319 » An Intelligent Model and Its Implementation of Search Engine |
142
Voted
DATESO
2007
15 years 5 months ago
2007
Authors are looking within their research grant new original web local search algorithm respecting specifics of Czech national environment. We would like to initiate further debate...
134
Voted
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Modeling crowd behavior is an important challenge for cognitive modelers. We propose a novel model of crowd behavior, based on Festinger’s Social Comparison Theory, a social psy...
118
click to vote
AVI
2008
15 years 6 months ago
2008
The desktop metaphor aimed to create a working environment, which would resemble that of the user's desk. With information abundance this desktop is often cluttered with file...
112
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
145
Voted
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...