Sciweavers

14078 search results - page 2317 / 2816
» Design and Analysis of Computer Algorithms
Sort
View
AUTOMATICA
2005
93views more  AUTOMATICA 2005»
15 years 6 months ago
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...
Jorge Júlvez, Laura Recalde, Manuel Silva
CORR
2002
Springer
121views Education» more  CORR 2002»
15 years 6 months ago
Answering Subcognitive Turing Test Questions: A Reply to French
Robert French has argued that a disembodied computer is incapable of passing a Turing Test that includes subcognitive questions. Subcognitive questions are designed to probe the n...
Peter D. Turney
ISPDC
2010
IEEE
15 years 4 months ago
Practical Uniform Peer Sampling under Churn
—Providing independent uniform samples from a system population poses considerable problems in highly dynamic settings, like P2P systems, where the number of participants and the...
Roberto Baldoni, Marco Platania, Leonardo Querzoni...
170
Voted
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
15 years 4 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King
CGF
2010
143views more  CGF 2010»
15 years 3 months ago
A Smoke Visualization Model for Capturing Surface-Like Features
Incense, candle smoke and cigarette smoke often exhibit smoke flows with a surface-like appearance. Although delving into well-known computational fluid dynamics may provide a sol...
Jinho Park, Yeongho Seol, Frederic Cordier, Junyon...
« Prev « First page 2317 / 2816 Last » Next »