886 search results - page 132 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
121
click to vote
CGF
2010
15 years 1 months ago
2010
This paper considers the problem of interactively finding the cutting contour to extract components from a given mesh. Some existing methods support cuts of arbitrary shape but re...
150
click to vote
CN
2006
15 years 1 months ago
2006
The expanding and dynamic nature of the Web poses enormous challenges to most data mining techniques that try to extract patterns from Web data, such as Web usage and Web content....
107
click to vote
CIKM
2004
Springer
15 years 6 months ago
2004
Springer
Our work is motivated by the problem of ranking hyperlinked documents for a given query. Given an arbitrary directed graph with edge and node labels, we present a new flow-based ...
117
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
110
click to vote
TKDE
2010
14 years 11 months ago
2010
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...