3750 search results - page 186 / 750 » Timed Automata Patterns |
158
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
Time series motifs are approximately repeated patterns found within the data. Such motifs have utility for many data mining algorithms, including rule-discovery, novelty-detection...
186
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
170
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
168
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Conversation policies codify the allowable exchanges of speech acts among agents as they execute specific types of tasks. Both the set of agents in a community, and the nature of...
164
click to vote
AIPS
2010
15 years 8 months ago
2010
Factored planning methods aim to exploit locality to efficiently solve large but "loosely coupled" planning problems by computing solutions locally and propagating limit...