4418 search results - page 267 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
193
click to vote
CIKM
2007
Springer
16 years 24 days ago
2007
Springer
Traditional adaptive filtering systems learn the user’s interests in a rather simple way – words from relevant documents are favored in the query model, while words from irre...
200
click to vote
DBPL
2005
Springer
16 years 5 days ago
2005
Springer
We study peer-to-peer ðP2PÞ data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by me...
153
click to vote
CAE
2005
15 years 9 months ago
2005
Labels effectively convey co-referential relations between textual and visual elements and are a powerful tool to support learning tasks. Therefore, almost all illustrations in sc...
183
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
203
click to vote
WIMOB
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper documents some of the socio-technical issues involved in developing security measures for a community environment, looking at the users of a wireless mesh network dep...