3008 search results - page 469 / 602 » Mechanisms for Importing Modules |
175
click to vote
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
167
click to vote
DASFAA
2008
IEEE
15 years 6 months ago
2008
IEEE
A pattern is considered useful if it can be used to help a person to achieve his goal. Mining data streams for useful patterns is important in many applications. However, data stre...
149
click to vote
CAISE
2010
Springer
15 years 5 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
158
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Automatic segmentation and classification of dialog acts (DAs; e.g., statements versus questions) is important for spoken language understanding (SLU). While most systems have re...
175
click to vote
FIS
2010
15 years 5 months ago
2010
Given the significant amount of personal information available on the Web, verifying its correct use emerges as an important issue. When personal information is published, it shoul...