4460 search results - page 678 / 892 » Formal methods for interactive systems |
202
Voted
WSDM
2012
ACM
14 years 5 days ago
2012
ACM
A key element of the social networks on the internet such as Facebook and Flickr is that they encourage users to create connections between themselves, other users and objects. On...
137
Voted
ICCS
1997
Springer
15 years 8 months ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...
150
click to vote
BIBE
2005
IEEE
15 years 10 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
138
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
153
Voted
WMTE
2008
IEEE
15 years 11 months ago
2008
IEEE
With the popularization of the wireless network, and the progress of mobile computing technology, the efficiency of the hand-held device is better, and its applications are wider....