6438 search results - page 29 / 1288 » A Parameterised Search System |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
103
click to vote
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
108
click to vote
MOBISYS
2010
ACM
15 years 7 days ago
2010
ACM
Mobile phones are becoming increasingly sophisticated with a rich set of on-board sensors and ubiquitous wireless connectivity. However, the ability to fully exploit the sensing c...
COMPSYSTECH
2009
14 years 7 months ago
2009
: This work presents personalized web search using enhancing information extracted from context. Context reflects user profile, her interests, past searching experiences etc. It is...
111
Voted
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Semantics can be integrated in to search processing during both document analysis and querying stages. We describe a system that incorporates both, semantic annotations of Wikipedi...