5451 search results - page 543 / 1091 » Typed Operational Semantics |
289
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
Data mining applications analyze large collections of set data and high dimensional categorical data. Search on these data types is not restricted to the classic problems of minin...
129
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We introduce a trainable system that simultaneously filters and classifies low-level features into types specified by the user. The system operates over full colour images, and ou...
187
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
Object-oriented and object-relational DBMS support setvalued attributes, which are a natural and concise way to model complex information. However, there has been limited research...
181
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
The topic of virtualization has received renewed attention. Xen is a popular open source type-I hypervisor. The Xen hypervisor currently has limited capabilities for runtime modiļ...
178
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
āFormal veriļ¬cation of low-level programs often requires explicit reasoning and speciļ¬cation of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...