2086 search results - page 227 / 418 » Mathematical Theory Exploration |
172
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
As the number and size of large timestamped collections (e.g. sequences of digitized newspapers, periodicals, blogs) increase, the problem of efficiently indexing and searching su...
198
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
- Semantic processing represents the new challenge for all applications that require text understanding, as for instance Q/A. In this paper we will highlight the need to couple sta...
176
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
This paper introduces the idea of actualizing theory in the context of artistic practice. We describe the project BodyDaemon and its function as a technology-based artwork that is...
168
click to vote
IFM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
180
click to vote
ACMDIS
2006
ACM
16 years 16 days ago
2006
ACM
Human-Computer Interaction (HCI) is defined by the Association for Computing Machinery (ACM) Special Interest Group on Computer-Human Interaction (SIGCHI) as “a discipline conce...