Sciweavers

1052 search results - page 138 / 211
» The Regular Real-Time Languages
Sort
View
156
Voted
JIT
2004
Springer
131views Database» more  JIT 2004»
15 years 9 months ago
Testing of Service-Oriented Architectures - A Practical Approach
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...
Schahram Dustdar, Stephan Haslinger
137
Voted
IADIS
2004
15 years 5 months ago
Prototype of Cyber Assistant Professor: CAP
To reduce the production cost of 3D-CG educational contents for e-Learning system and to improve the capability of self-learning system, we developed a new self-learning system ba...
Hiroshi Matsuda, Yoshiaki Shindo
130
Voted
IADIS
2004
15 years 5 months ago
Creative Lesson by Using Cyber Theater and CTSL Learning KIT
To improve the courses of computer-based education in junior high school and high school, we have developed new educational multi-media tool, named Cyber Theater. Cyber Theater pr...
Hiroshi Matsuda, Yoshiaki Shindo
136
Voted
LATA
2010
Springer
16 years 1 months ago
Complexity of the Satisfiability Problem for a Class of Propositional Schemata
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
Vincent Aravantinos, Ricardo Caferra, Nicolas Pelt...
151
Voted
MM
2009
ACM
269views Multimedia» more  MM 2009»
15 years 10 months ago
Semi-supervised topic modeling for image annotation
We propose a novel technique for semi-supervised image annotation which introduces a harmonic regularizer based on the graph Laplacian of the data into the probabilistic semantic ...
Yuanlong Shao, Yuan Zhou, Xiaofei He, Deng Cai, Hu...