Sciweavers

14298 search results - page 2563 / 2860
» Dynamic Languages and Applications
Sort
View
AUSAI
2007
Springer
16 years 25 days ago
The Semantic Representation of Temporal Expressions in Text
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
Robert Dale, Pawel P. Mazur
B
2007
Springer
16 years 25 days ago
Symmetry Reduction for B by Permutation Flooding
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
Michael Leuschel, Michael J. Butler, Corinna Sperm...
CC
2007
Springer
109views System Software» more  CC 2007»
16 years 25 days ago
Layout Transformations for Heap Objects Using Static Access Patterns
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
Jinseong Jeon, Keoncheol Shin, Hwansoo Han
CCS
2007
ACM
16 years 25 days ago
Uclinux: a linux security module for trusted-computing-based usage controls enforcement
Usage controls allow the distributor of some information to limit how recipients of that information may use it. The Trusted Computing Group has standardized Trusted Platform Modu...
David Kyle, José Carlos Brustoloni
CIKM
2007
Springer
16 years 25 days ago
Structure and semantics for expressive text kernels
Several problems in text categorization are too hard to be solved by standard bag-of-words representations. Work in kernel-based learning has approached this problem by (i) consid...
Stephan Bloehdorn, Alessandro Moschitti
« Prev « First page 2563 / 2860 Last » Next »