632 search results - page 43 / 127 » An Analysis of Search Engine Use for Travel Planning |
FASE
2004
Springer
14 years 12 days ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
AIR
1998
13 years 8 months ago
1998
Abstract. Genetic algorithms play a significant role, as search techniques for handling complex spaces, in many fields such as artificial intelligence, engineering, robotic, etc...
ICDE
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract— Sensor networks have evolved to a powerful infrastructure component for event monitoring in many application scenarios. In addition to simple filter and aggregation op...
BMCBI
2011
13 years 8 days ago
2011
Background: Next generation ultra-sequencing technologies are starting to produce extensive quantities of data from entire human genome or exome sequences, and therefore new softw...
IR
2010
13 years 6 months ago
2010
This article presents FIDJI, a question-answering (QA) system for French. FIDJI combines syntactic information with traditional QA techniques such as named entity recognition and t...