247 search results - page 26 / 50 » Two Size Measures for Timed Languages |
ICARIS
2007
Springer
14 years 1 months ago
2007
Springer
Today’s signature-based intrusion detection systems are reactive in nature and storage-limited. Their operation depends upon catching an instance of an intrusion or virus and en...
HUC
2003
Springer
14 years 23 days ago
2003
Springer
With increased use of mobile information technology and increased amounts of information comes the need to simplify information presentation. This research considers whether low-in...
CASES
2004
ACM
14 years 29 days ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...
AIED
2011
Springer
12 years 11 months ago
2011
Springer
Self-assessment motivation questionnaires have been used in classrooms yet many researchers find only a weak correlation between answers to these questions and learning. In this pa...