w*****s
发帖数: 122 | 1 [April 13, 2000] ALURe (Aggregation and Logging of User Requests) XML Specification. In draft
as of 2000-04-12, the ALURe (Aggregation and Logging of User Requests for assistance) XML
Specification proposes "a specific implementation of XML that allows any Web-based 'user assistance'
product or system to log information on specific problems that customers have. ALURe is the grammar
used for describing how a user negotiates an application's on-line User Assistance System and is d |
|
k*****r
发帖数: 21039 | 2 我党输出文革价值观了。被声讨的我软研究部的沈将军，李将军，温将军，都是华裔，
红卫兵小将的主力是蜜柚和阿三。
米国学界也种族界限分明，米疣控制的伪科学圈子，分田分地真忙，外面的人根本插不
进去，SIGCOMM，SIGMOBILE尤为甚，种种扯鸡巴毛研究的灌水自娱自乐文，在華为中研
的真正在技术最前沿的科学家看来真是贻笑大方。可以不夸張的說，过去十年，
mobicomm,sigcomm的文章一篇不看，丝毫不影响
无线通讯技术的发展。
沈李二将军断然砸了我軟下面的伪科学小集团的饭碗，以後怕是有麻煩。还是毅然起义
，加入百阿腾集团軍为宜。
The following letter has just been sent to the leadership of Microsoft
Research. Others who wish to express support for the sentiments expressed
in the letter may do so by commenting on this blog post.
October 14, 2014
Harry Shum... 阅读全帖 |
|
x********e
发帖数: 457 | 3 Buick alure新车不到三年，今天这里坏，明天那里不着了，看看修车的账单已经5000
多了，电池坏过一回，今天又把我们放倒了。这个车大，超废油，当时买这个车纯粹是
为了孩子更安全，心想日本车美国车能差到哪里去啊，现在悔的我肠子都青了.以前那
个95的Camry太牛逼了，十几万迈的车我开了6年不找麻烦啊，我对日本人有了新的敬意
。以后千万不能碰美车了，等把这个奶奶请走了，还得进Camry |
|
w**e
发帖数: 2424 | 4 liar，而且是弱智的liar
Buick 从来没出过啥alure |
|
|
c**********g
发帖数: 932 | 6 是的 我也是这么考虑的 不想去西部再折腾了
迪士尼是7月8--7月15
7月15 有FLL 出发的油轮 到墨西哥
Alure of the sea
#Port
1Fort Lauderdale
2At Sea
3Labadi/Labadee
4Falmouth
5At Sea
6Cozumel
7At Sea
8Fort Lauderdale
船挺喜欢的 时间也刚好
就是不知道7月会不会太热 然后墨西哥不会不安全把 |
|
a******o
发帖数: 7982 | 7 re.据说是alur winner.我也比较喜欢用．就是那种pad,往眼睛上下两片一夹，轻轻一
搽，就干净了． |
|
s*********b
发帖数: 815 | 8 写的Alternating-time Temporal Logic真是通俗易懂啊。以偶薄弱的基础，涣散的注意
力，居然愉快地读完了。注意了一下，其实Rajeev也就做到了两点：随时随地解释定义背
后的直观意义，以及从未不加解释地使用符号。什么时候做Formal Methods的人都这么写
文章就好了。
－－－－－－－－
阿Sir, 我做FM已经郁闷好久了 |
|
w*******g
发帖数: 9932 | 9 you read the conference or journal version.
could you talk about the use of ATL? |
|
s*********b
发帖数: 815 | 10 Journal
version。例子多，直观解释多的说。至于用做什么的，开论文吧，前面的abstract和int
roduction都说了的。还有就是mocha这个model checker用的ATL，可以到mocha的网站上
看他们的论文，不长。
注意
义背
么写 |
|
w*******g
发帖数: 9932 | 11 I kind of lost interest in read the loooooong version.
I don't know why they need to develop such a notion of logic.
for real-time computation?
most of the problems' complexity upper bound is pspace or exponential time
so what is the point anyway? |
|
