2748 search results - page 203 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
125
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
162
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
It has become a promising direction to measure similarity of Web search queries by mining the increasing amount of clickthrough data logged by Web search engines, which record the...
137
click to vote
IJCAI
1989
15 years 6 months ago
1989
This paper describes an attempt to model the method of generating a fact from the opinions of other persons or of institutions as a process which is based on knowledge about these...
122
Voted
ICONIP
2007
15 years 6 months ago
2007
To date, the neural decoding of time-evolving physical state – for example, the path of a foraging rat or arm movements – has been largely carried out using linear trajectory m...
100
Voted
PRESENCE
2006
15 years 5 months ago
2006
This paper deals with a set of useful methods for presenting large-scale models of real cities in a web environment. While acquisition issues are outlined only briefly, this study...