Sciweavers

8099 search results - page 460 / 1620
» Higher-Order Task Models
Sort
View
COLING
2010
15 years 1 months ago
Utilizing Variability of Time and Term Content, within and across Users in Session Detection
In this paper, we describe a SVM classification framework of session detection task on both Chinese and English query logs. With eight features on the aspects of temporal and cont...
Shu-Qi Sun, Sheng Li, Muyun Yang, Haoliang Qi, Tie...
195
Voted
ACSAC
2002
IEEE
15 years 12 months ago
Composable Tools For Network Discovery and Security Analysis
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
Giovanni Vigna, Fredrik Valeur, Jingyu Zhou, Richa...
IROS
2009
IEEE
123views Robotics» more  IROS 2009»
16 years 1 months ago
Planning-based prediction for pedestrians
— We present a novel approach for determining robot movements that efficiently accomplish the robot’s tasks while not hindering the movements of people within the environment....
Brian Ziebart, Nathan D. Ratliff, Garratt Gallaghe...
B
2007
Springer
16 years 1 months ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
174
Voted
ACRI
2004
Springer
16 years 8 days ago
Mining Ecological Data with Cellular Automata
This paper introduces a Cellular Automata (CA) approach to spatiotemporal data mining (STDM). The recently increasing interest in using Genetic Algorithms and other evolutionary te...
Alexander Campbell, Binh Pham, Yu-Chu Tian