585 search results - page 64 / 117 » Better Abstractions for Timed Automata |
108
click to vote
ISTA
2008
15 years 2 months ago
2008
Abstract. Service-oriented Computing and Service-oriented Architectures aspire to better exploit existing middleware technologies. To this end, a more flexible, platform independen...
100
Voted
ECIR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper, we propose a common phrase index as an efficient index structure to support phrase queries in a very large text database. Our structure is an extension of ...
108
click to vote
WCE
2007
15 years 1 months ago
2007
Abstract—Applications of the Particle Swarm Optimization (PSO) to solve image processing problem with a reference to a new automatic enhancement technique based on real-coded par...
120
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Multi grain sentiment analysis is the task of simultaneously classifying sentiment expressed at different levels of granularity, as opposed to single level at a time. Mod...
130
Voted
ENTCS
2006
15 years 17 days ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...