Sciweavers

8499 search results - page 1310 / 1700
» cans 2009
Sort
View
FORTE
2009
15 years 5 months ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann
245
Voted
FPGA
2009
ACM
168views FPGA» more  FPGA 2009»
15 years 5 months ago
Large-scale wire-speed packet classification on FPGAs
Multi-field packet classification is a key enabling function of a variety of network applications, such as firewall processing, Quality of Service differentiation, traffic billing...
Weirong Jiang, Viktor K. Prasanna
325
Voted
GAMEON
2009
15 years 5 months ago
Analysis of User Trajectories Based on Data Distribution and State Transition: a Case Study with a Massively Multiplayer Online
At present, trajectory data, series of coordinate data traversed by moving objects, can be readily obtained due to the advent of positioning technologies. Clustering of trajectori...
Ruck Thawonmas, Junichi Oda, Kuan-Ta Chen
GAMEON
2009
15 years 5 months ago
Psychologically Verified Player Modelling
This research attempts to measure personality by monitoring behaviour in a virtual environment. A computer game was created to measure a trait of the Five Factor Model of personal...
Giel van Lankveld, Sonny Schreurs, Pieter Spronck
APN
2009
Springer
16 years 2 months ago
Hasse Diagram Generators and Petri Nets
In [LJ06] Lorenz and Juh´as raised the question of whether there exists a suitable formalism for the representation of infinite families of partial orders generated by Petri nets...
Mateus de Oliveira Oliveira
« Prev « First page 1310 / 1700 Last » Next »