6047 search results - page 581 / 1210 » Modeling with Extend |
211
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
176
click to vote
ISMIR
2005
Springer
16 years 29 days ago
2005
Springer
We introduce a new model for extracting classified structural segments, such as intro, verse, chorus, break and so forth, from recorded music. Our approach is to classify signal ...
168
click to vote
ACSAC
2002
IEEE
16 years 12 days ago
2002
IEEE
The individual vulnerabilities of hosts on a network can be combined by an attacker to gain access that would not be possible if the hosts were not interconnected. Currently avail...
203
click to vote
GMP
2002
IEEE
16 years 12 days ago
2002
IEEE
Implicit surfaces in 3D geometric modeling are limited to two manifolds because the corresponding implicit fields are usually defined by real-valued functions which bisect space...
227
click to vote
APAQS
2000
IEEE
15 years 12 months ago
2000
IEEE
Recently, the extraordinarygrowth in the World Wide Web has been sweeping through business and industry. Many companies have developed or integrated their mission-critical applica...