-
video editing for is streamlined for fast linear operations over video. It has batch-processing capabilities for processing large numbers of files and can be extended with third-party video filters. VirtualDub is mainly geared toward processing AVI files, although it can read (not write) MPEG-1 and also handle sets of BMP images.
標簽:
video
batch-processing
streamlined
operations
上傳時間:
2014-01-06
上傳用戶:fhzm5658
-
KphoneSI (kpsi) is a SIP (Session Initiation Protocol) user agent
for Linux, with which you can initiate VoIP (Voice over IP) connections
over the Internet, send Instant Messages, subscribe your friends
presence information and start other applications of your choice
標簽:
Initiation
KphoneSI
Protocol
Session
上傳時間:
2015-09-13
上傳用戶:sy_jiadeyi
-
上下文無關文法(Context-Free Grammar, CFG)是一個4元組G=(V, T, S, P),其中,V和T是不相交的有限集,S∈V,P是一組有限的產(chǎn)生式規(guī)則集,形如A→α,其中A∈V,且α∈(V∪T)*。V的元素稱為非終結(jié)符,T的元素稱為終結(jié)符,S是一個特殊的非終結(jié)符,稱為文法開始符。
設G=(V, T, S, P)是一個CFG,則G產(chǎn)生的語言是所有可由G產(chǎn)生的字符串組成的集合,即L(G)={x∈T* | Sx}。一個語言L是上下文無關語言(Context-Free Language, CFL),當且僅當存在一個CFG G,使得L=L(G)。 *⇒
例如,設文法G:S→AB
A→aA|a
B→bB|b
則L(G)={a^nb^m | n,m>=1}
其中非終結(jié)符都是大寫字母,開始符都是S,終結(jié)符都是小寫字母。
標簽:
Context-Free
Grammar
CFG
上傳時間:
2013-12-10
上傳用戶:gaojiao1999
-
This code in this directory implements the binary hopfield network.
Source code may be found in HOPNET.CPP. A sample training file is
H7x8N4.trn. Sample test pattern files are: H7x8D4.TST, H5x8D7.TST,
H5x8D7.TST and H5x8D9.TST, Output of the program goes to both the
screen and a file, ARCHIVE.LST.
標簽:
code
implements
directory
hopfield
上傳時間:
2014-01-16
上傳用戶:123啊
-
THIS SOURCE CODE IS PROVIDED AS IS , WITH NO WARRANTIES WHATSOEVER,
EXPRESS OR IMPLIED, INCLUDING ANY WARRANTY OF MERCHANTABILITY, FITNESS
FOR ANY PARTICULAR PURPOSE, OR ARISING FROM A COURSE OF DEALING, USAGE
OR TRADE PRACTICE, RELATING TO THE SOURCE CODE OR ANY WARRANTY OTHERWISE
ARISING OUT OF ANY PROPOSAL, SPECIFICATION, OR SAMPLE AND WITH NO
OBLIGATION OF NOKIA TO PROVIDE THE LICENSEE WITH ANY MAINTENANCE OR
SUPPORT. FURTHERMORE, NOKIA MAKES NO WARRANTY THAT EXERCISE OF THE
RIGHTS GRANTED HEREUNDER DOES NOT INFRINGE OR MAY NOT CAUSE INFRINGEMENT
OF ANY PATENT OR OTHER INTELLECTUAL PROPERTY RIGHTS OWNED OR CONTROLLED
BY THIRD PARTIES
標簽:
WARRANTIES
WHATSOEVER
INCLUDING
PROVIDED
上傳時間:
2013-12-27
上傳用戶:fanboynet
-
%BIQPBOX Bisection reflective line search for sqpbox
% [nx,nsig,alpha] = BIQPBOX(s,c,strg,x,y,sigma,l,u,...
% oval,po,normg,DS,mtxmpy,data,H)
% returns the new feasible point nx, the corresponding sign vector nsig,
% and the step size of the unreflected step, alpha.
% Copyright (c) 1990-98 by The MathWorks, Inc.
% $Revision: 1.2 $ $Date:
標簽:
BIQPBOX
reflective
Bisection
search
上傳時間:
2013-12-17
上傳用戶:sk5201314
-
This paper presents an interactive technique that
produces static hairstyles by generating individual hair strands
of the desired shape and color, subject to the presence of gravity
and collisions. A variety of hairstyles can be generated by
adjusting the wisp parameters, while the deformation is solved
efficiently, accounting for the effects of gravity and collisions.
Wisps are generated employing statistical approaches. As for
hair deformation, we propose a method which is based on
physical simulation concepts but is simplified to efficiently
solve the static shape of hair. On top of the statistical wisp
model and the deformation solver, a constraint-based styler
is proposed to model artificial features that oppose the natural
flow of hair under gravity and hair elasticity, such as a hairpin.
Our technique spans a wider range of human hairstyles than
previously proposed methods, and the styles generated by this
technique are fairly realistic.
標簽:
interactive
hairstyles
generating
technique
上傳時間:
2013-12-20
上傳用戶:sssl
-
一:需求分析
1. 問題描述
魔王總是使用自己的一種非常精練而抽象的語言講話,沒人能聽懂,但他的語言是可逐步解釋成人能聽懂的語言,因為他的語言是由以下兩種形式的規(guī)則由人的語言逐步抽象上去的:
-----------------------------------------------------------
(1) a---> (B1)(B2)....(Bm)
(2)[(op1)(p2)...(pn)]---->[o(pn)][o(p(n-1))].....[o(p1)o]
-----------------------------------------------------------
在這兩種形式中,從左到右均表示解釋.試寫一個魔王語言的解釋系統(tǒng),把
他的話解釋成人能聽得懂的話.
2. 基本要求:
用下述兩條具體規(guī)則和上述規(guī)則形式(2)實現(xiàn).設大寫字母表示魔王語言的詞匯 小寫字母表示人的語言的詞匯 希臘字母表示可以用大寫字母或小寫字母代換的變量.魔王語言可含人的詞匯.
(1) B --> tAdA
(2) A --> sae
3. 測試數(shù)據(jù):
B(ehnxgz)B 解釋成 tsaedsaeezegexenehetsaedsae若將小寫字母與漢字建立下表所示的對應關系,則魔王說的話是:"天上一只鵝地上一只鵝鵝追鵝趕鵝下鵝蛋鵝恨鵝天上一只鵝地上一只鵝".
| t | d | s | a | e | z | g | x | n | h |
| 天 | 地 | 上 | 一只| 鵝 | 追 | 趕 | 下 | 蛋 | 恨 |
標簽:
語言
抽象
分
上傳時間:
2014-12-02
上傳用戶:jkhjkh1982
-
celestia源代碼,Celestia, a real-time 3D space simulation featuring a database of over 100000 stars, nearly a hundred solar system, objects, and a complete catalog of extrasolar planets.
標簽:
celestia
源代碼
上傳時間:
2013-12-26
上傳用戶:縹緲
-
We present a particle filter construction for a system that exhibits
time-scale separation. The separation of time-scales allows two simplifications
that we exploit: i) The use of the averaging principle for the
dimensional reduction of the system needed to solve for each particle
and ii) the factorization of the transition probability which allows the
Rao-Blackwellization of the filtering step. Both simplifications can be
implemented using the coarse projective integration framework. The
resulting particle filter is faster and has smaller variance than the particle
filter based on the original system. The convergence of the new
particle filter to the analytical filter for the original system is proved
and some numerical results are provided.
標簽:
construction
separation
time-scale
particle
上傳時間:
2016-01-02
上傳用戶:fhzm5658