Sciweavers

1141 search results - page 202 / 229
» From Rigorous Requirements Engineering to Formal System Desi...
Sort
View
SECON
2007
IEEE
16 years 12 days ago
Feasibility of In-car Wireless Sensor Networks: A Statistical Evaluation
— Statistical characterization of in-car wireless communication channels has recently gained significance, mainly due to the possibility of deploying a wireless sensor network i...
Hsin-Mu Tsai, Wantanee Viriyasitavat, Ozan K. Tong...
149
Voted
BPM
2005
Springer
85views Business» more  BPM 2005»
15 years 11 months ago
Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
Volker Gruhn, André Köhler, Robert Kla...
SIGADA
2004
Springer
15 years 11 months ago
Comparative analysis of genetic algorithm implementations
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
Robert Soricone, Melvin Neville
ICAIL
2007
ACM
15 years 10 months ago
The Ontology of Legal Possibilities and Legal Potentialities
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
Pamela N. Gray
IUI
2010
ACM
16 years 29 days ago
Intelligent understanding of handwritten geometry theorem proving
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
Yingying Jiang, Feng Tian, Hongan Wang, Xiaolong Z...