Sciweavers

6253 search results - page 1143 / 1251
» Use Case Modeling Guidelines
Sort
View
126
Voted
ICCV
2009
IEEE
16 years 8 months ago
Tracking in Unstructured Crowded Scenes
This paper presents a target tracking framework for unstructured crowded scenes. Unstructured crowded scenes are defined as those scenes where the motion of a crowd appears to b...
Mikel Rodriguez, Saad Ali, Takeo Kanade
138
Voted
KDD
2009
ACM
228views Data Mining» more  KDD 2009»
16 years 4 months ago
A generalized Co-HITS algorithm and its application to bipartite graphs
Recently many data types arising from data mining and Web search applications can be modeled as bipartite graphs. Examples include queries and URLs in query logs, and authors and ...
Hongbo Deng, Michael R. Lyu, Irwin King
RTSS
2009
IEEE
15 years 10 months ago
Cross-Layer Analysis of the End-to-End Delay Distribution in Wireless Sensor Networks
—Emerging applications of wireless sensor networks (WSNs) require real-time quality of service (QoS) guarantees to be provided by the network. However, designing real-time schedu...
Yunbo Wang, Mehmet C. Vuran, Steve Goddard
ARGMAS
2009
Springer
15 years 10 months ago
Burden of Proof in Deliberation Dialogs
The literature in argumentation and artificial intelligence has distinguished five types of burden of proof in persuasion dialogs, but there appears to have been no serious invest...
Douglas Walton
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
15 years 7 months ago
Formal Design and Analysis of a Gear Controller
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
Magnus Lindahl, Paul Pettersson, Wang Yi
« Prev « First page 1143 / 1251 Last » Next »