Sciweavers

2632 search results - page 180 / 527
» Alternating Timed Automata
Sort
View
VL
2010
IEEE
247views Visual Languages» more  VL 2010»
15 years 3 months ago
Cleanroom: Edit-Time Error Detection with the Uniqueness Heuristic
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
Andrew J. Ko, Jacob O. Wobbrock
BMCBI
2010
150views more  BMCBI 2010»
15 years 2 months ago
Kernel based methods for accelerated failure time model with ultra-high dimensional data
Background: Most genomic data have ultra-high dimensions with more than 10,000 genes (probes). Regularization methods with L1 and Lp penalty have been extensively studied in survi...
Zhenqiu Liu, Dechang Chen, Ming Tan, Feng Jiang, R...
140
Voted
INTERSPEECH
2010
14 years 11 months ago
The relevance of timing, pauses and overlaps in dialogues: detecting topic changes in scenario based meetings
We present an investigation of the relevance of simple conversational features as indicators of topic shifts in small-group meetings. Three proposals for representation of dialogu...
Saturnino Luz, Jing Su
160
Voted
ICCV
2003
IEEE
16 years 6 months ago
Counting People in Crowds with a Real-Time Network of Simple Image Sensors
Estimating the number of people in a crowded environment is a central task in civilian surveillance. Most vision-based counting techniques depend on detecting individuals in order...
Danny B. Yang, Héctor H. González-Ba...
150
Voted
DCOSS
2009
Springer
15 years 11 months ago
Optimal Allocation of Time-Resources for Multihypothesis Activity-Level Detection
Abstract. The optimal allocation of samples for activity-level detection in a wireless body area network for health-monitoring applications is considered. A wireless body area netw...
Gautam Thatte, Viktor Rozgic, Ming Li, Sabyasachi ...