896 search results - page 108 / 180 » A protein interaction based model for schizophrenia study |
154
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
132
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Using Dirac Notation as a powerful tool, we investigate the three classical Information Retrieval (IR) models and some their extensions. We show that almost all such models can be...
235
click to vote
CA
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a model for studying the impact of individual agents characteristics in emergent groups, on the evacuation efficiency as a result of local interactions. We use...
137
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
We present a field study of police SWAT teams for the purpose of enabling grounded design of a system to coordinate distributed field robots. The mission-oriented, spatially distr...
166
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
As the social interaction of Internet users increases, so does the need to effectively rank social media. We study the challenges of personalized ranking of blog posts. Web search...