Sciweavers

2686 search results - page 361 / 538
» Using a neural network in the software testing process
Sort
View
140
Voted
TACS
2001
Springer
15 years 8 months ago
The UDP Calculus: Rigorous Semantics for Real Networking
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
Andrei Serjantov, Peter Sewell, Keith Wansbrough
LREC
2008
93views Education» more  LREC 2008»
15 years 5 months ago
Towards a Glossary of Activities in the Ontology Engineering Field
The Semantic Web of the future will be characterized by using a very large number of ontologies embedded in ontology networks. It is important to provide strong methodological sup...
María del Carmen Suárez-Figueroa, As...
127
Voted
AAAI
1994
15 years 5 months ago
Using Knowledge Acquisition and Representation Tools to Support Scientific Communities
Widespread access to the Internet has led to the formation of geographically dispersed scientific communities collaborating through the network. The tools supporting such collabor...
Brian R. Gaines, Mildred L. G. Shaw
136
Voted
CORR
2010
Springer
169views Education» more  CORR 2010»
15 years 3 months ago
Artificial Hormone Reaction Networks: Towards Higher Evolvability in Evolutionary Multi-Modular Robotics
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...
Heiko Hamann, Jürgen Stradner, Thomas Schmick...
115
Voted
WSC
2004
15 years 5 months ago
Optimization of Traffic Signal Light Timing Using Simulation
Traffic congestion is one of the worst problems in many countries. Traffic congestion wastes a huge portion of the national income for fuel and traffic-related environmental and s...
Kasun N. Hewage, Janaka Yasantha Ruwanpura