2324 search results - page 309 / 465 » Benchmark Generation Using Domain Specific Modeling |
81
Voted
ELPUB
2006
ACM
15 years 4 months ago
2006
ACM
Walking is becoming increasingly popular as a leisure activity across Europe. Outdoor equipment has modernized, gained flexibility and lost weight. GPS devices are gaining popular...
99
Voted
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
100
Voted
ILP
2003
Springer
15 years 3 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
94
Voted
DASFAA
2010
IEEE
15 years 5 months ago
2010
IEEE
Scalable execution of continuous queries over massive data streams often requires splitting input streams into parallel sub-streams over which query operators are executed in paral...
117
Voted
BMCBI
2010
14 years 5 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...