Sciweavers

3238 search results - page 462 / 648
» Not Enough Points Is Enough
Sort
View
ENTCS
2002
108views more  ENTCS 2002»
13 years 10 months ago
Bisimulation Relations for Dynamical and Control Systems
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
Esfandiar Haghverdi, Paulo Tabuada, George J. Papp...
JILP
2000
103views more  JILP 2000»
13 years 10 months ago
Comparing and Combining Profiles
How much do two profiles of the same program differ? When has a profile changed enough to warrant reexamination of the profiled program? And how should two or more profiles be com...
Serap A. Savari, Cliff Young
FMSD
2002
81views more  FMSD 2002»
13 years 10 months ago
A Notation and Logic for Mobile Computing
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
Gruia-Catalin Roman, Peter J. McCann
CONSTRAINTS
1998
62views more  CONSTRAINTS 1998»
13 years 10 months ago
Learning Game-Specific Spatially-Oriented Heuristics
This paper describes an architecture that begins with enough general knowledge to play any board game as a novice, and then shifts its decision-making emphasis to learned, game-sp...
Susan L. Epstein, Jack Gelfand, Esther Lock
INFORMATICALT
2002
150views more  INFORMATICALT 2002»
13 years 10 months ago
Application of Data Mining Technique for Diagnosis of Posterior Uveal Melanoma
Application of knowledge discovery in databases (data mining) for medical decision support is discussed in this work. The aim of the study was to use decision support algorithm for...
Darius Jegelevicius, Arunas Lukosevicius, Alvydas ...