886 search results - page 106 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
SMC
2007
IEEE
15 years 4 months ago
2007
IEEE
— The focus of this paper is mental tension detection in speech to assist control the tension in day-to-day business such as conferences and operations in a call center. It is di...
CVPR
2006
IEEE
16 years 21 hour ago
2006
IEEE
In this paper we consider the problem of segmenting multiple rigid motions using multi?frame point correspondence data. The main idea of the method is to group points according to...
192
click to vote
TKDE
2012
13 years 12 days ago
2012
—Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of som...
ICOIN
2001
Springer
15 years 2 months ago
2001
Springer
We propose a new approach to easily creating 3 0 geometric models. A technique called interactive evolutionary computation (IEC) is introduced to accelerate user’s invention and...
101
click to vote
CAV
2007
Springer
15 years 4 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...