Sciweavers

3074 search results - page 574 / 615
» A Boundary-Fragment-Model for Object Detection
Sort
View
ISBI
2008
IEEE
16 years 5 months ago
Defining cortical sulcus patterns using partial clustering based on bootstrap and bagging
The cortical folding patterns are very different from one individual to another. Here we try to find folding patterns automatically using large-scale datasets by non-supervised cl...
Zhong Yi Sun, Denis Rivière, Edouard Duches...
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 5 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
135
Voted
KDD
2002
ACM
149views Data Mining» more  KDD 2002»
16 years 5 months ago
A system for real-time competitive market intelligence
A method is described for real-time market intelligence and competitive analysis. News stories are collected online for a designated group of companies. The goal is to detect crit...
Sholom M. Weiss, Naval K. Verma
CHI
2004
ACM
16 years 4 months ago
Human-robot speech interface understanding inexplicit utterances using vision
Speech interfaces should have a capability of dealing with inexplicit utterances including such as ellipsis and deixis since they are common phenomena in our daily conversation. T...
Zaliyana Mohd Hanafiah, Chizu Yamazaki, Akio Nakam...
CADE
2005
Springer
16 years 4 months ago
Proof Planning for First-Order Temporal Logic
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
Claudio Castellini, Alan Smaill